Translation Validation of Bounded Exhaustive Test Cases
http://blog.regehr.org/archives/1510 [blog.regehr.org]
2017-05-10 03:19
Our focus is the middle-end optimizers, which seem to be the most difficult part of a compiler to get right. The target is LLVM.