Skip to content Skip to navigation

PhD student David Menendez's ICSE 2016 paper selected as one of Computing Review's Notable Books and Articles of 2016

Thursday, July 6, 2017

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.




Referenced Faculty: