Alive2: Bounded translation validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PLDI 2021
Virtual, Canada
Association for Computing Machinery
New York, NY, USA
Pages 65-79
2021
Papers: lopes:pldi:2015
PLDI 2021
Virtual, Canada
Association for Computing Machinery
New York, NY, USA
Pages 65-79
2021
Papers: lopes:pldi:2015