K-LLVM: A Relatively Complete Semantics of LLVM IR.

Liyi Li, Elsa L. Gunter

Browse the full ECOOP paper archive.