Skip to content Skip to navigation

Nagarakatte's paper selected as SIGPLAN Research Highlights Paper

Congratulations to Prof. Santosh Nagarakatte and his Ph.D Student David Menendez , whose PLDI 2015 paper "Provably Correct Peephole Optimizations with Alive" with collaborators Nuno Lopes and John Regehr has been selected as the ACM SIGPLAN Research Highlights Paper for this year.

More information on SIGPLAN Research Highlights is available at  Since 2008, SIGPLAN has selected papers from its sponsored conferences that are of high quality and broad appeal. These papers, called SIGPLAN Research Highlights, are selected by a committee representing SIGPLAN's major conferences and elected officials. Three papers were selected by the committee as SIGPLAN Research Highlights this year. David Menendez and Prof. Santosh Nagarakatte's paper is one of them.  The paper is available at

This is third such award for David Menendez's dissertation research on verification techniques for peephole optimizations in LLVM. Earlier, his PLDI 2015 paper had won the ACM SIGPLAN PLDI 2015 Distinguished Paper Award and his ICSE 2016 paper "Termination Checking for LLVM Peephole Optimizations" had won the ACM SIGSOFT ICSE 2016 Distinguished Paper Award.

Congrats David Menendez and Prof. Santosh Nagarakatte!