Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.

Jack J. Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

Browse the full VMCAI paper archive.