@unpublished{lopes2021alive,
author = {Lopes, Nuno and Lee, Juneyoung and Hur, Chung-Kil and Liu, Zhengyang and Regehr, John},
title = {Alive2: Bounded Translation Validation for LLVM},
year = {2021},
month = {June},
abstract = {Abstract coming...},
url = {http://approjects.co.za/?big=en-us/research/publication/alive2-bounded-translation-validation-for-llvm/},
}