David Menendez, Santosh Nagarakatte. Termination-checking for LLVM peephole optimizations. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. pages 191-202, ACM, 2016. [doi]
Abstract is missing.