Language-parametric compiler validation with application to LLVM.

Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu

Browse the full ASPLOS paper archive.