Alive2: Bounded Translation Validation for LLVM - Lopes, Nuno; Lee, Juneyoung; Hur, Chung-Kil; Liu, Zhengyang; Regehr, John (2021)
Abstract coming...