| 2018 | ICSE | COMB: computing relevant program behaviors. | Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews |
| 2017 | WSC | Modeling lessons from verifying large software systems for safety and security. | Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews |
| 2017 | VizSec | Interactive visualization toolbox to detect sophisticated android malware. | Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Jon Mathews |
| 2016 | ICSE | Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. | Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews |
| 2016 | ICSE | Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. | Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews |
| 2015 | ICSE | Security Toolbox for Detecting Novel and Sophisticated Android Malware. | Benjamin Holland, Tom Deering, Suresh C. Kothari, Jon Mathews, Nikhil Ranade |
| 2014 | ICSE | Atlas: a new way to explore software, build analysis tools. | Tom Deering, Suresh C. Kothari, Jeremias Sauceda, Jon Mathews |