Modular Certification of Low-Level Intermediate Representation Programs.

Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang

Browse the full COMPSAC paper archive.