PhD student David Menendez and Prof. Santosh Nagarakatte's ICSE 2016 paper "Termination-Checking for LLVM Peephole Optimizations" has been selected as one of the Notable Books and Articles of 2016 as part of Computing Review's 21st Annual Best of Computing. The Notable Books and Articles list consists of item nominations from Computing Review's reviewers, category editors, editors in chief of journals and others in the computing community.  David's ICSE 2016 paper is one of the 231 articles selected in this year's list.  The complete list is available at

Congratulations David and Prof. Santosh Nagarakatte.