TY  - JOUR
ID  - cs-07-1
TI  - Formal verification of a realistic compiler
AU  - Leroy, Xavier
JO  - Communications of the ACM
PY  - 2009
DO  - 10.1145/1538788.1538814
UR  - https://xavierleroy.org/publi/compcert-CACM.pdf
ER  - 


TY  - CONF
ID  - cs-07-2
TI  - Alive2: bounded translation validation for LLVM
AU  - Lopes, Nuno P.
AU  - Lee, Juneyoung
AU  - Hur, Chung-Kil
AU  - Liu, Zhengyang
AU  - Regehr, John
T2  - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PY  - 2021
DO  - 10.1145/3453483.3454030
UR  - https://web.ist.utl.pt/nuno.lopes/pubs/alive2-pldi21.pdf
ER  - 


TY  - CONF
ID  - cs-07-3
TI  - LLVM: a compilation framework for lifelong program analysis & transformation
AU  - Lattner, C.
AU  - Adve, V.
T2  - International Symposium on Code Generation and Optimization, 2004. CGO 2004.
PY  - 2004
DO  - 10.1109/cgo.2004.1281665
UR  - https://llvm.org/pubs/2004-01-30-CGO-LLVM.html
ER  -