Atlas: a new way to explore software, build analysis tools. - Tom Deering; Suresh C. Kothari; Jeremias Sauceda; Jon Mathews (ICSE Companion, 2014)

Security Toolbox for Detecting Novel and Sophisticated Android Malware. - Benjamin Holland; Tom Deering; Suresh C. Kothari; Jon Mathews; Nikhil Ranade (ICSE (2), 2015)

Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2016)

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jeremias Sauceda; Jon Mathews (ICSE (Companion Volume), 2016)

Human-machine resolution of Invisible Control Flow? - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICPC, 2016)

Interactive visualization toolbox to detect sophisticated android malware. - Ganesh Ram Santhanam; Benjamin Holland; Suresh C. Kothari; Jon Mathews (VizSEC, 2017)

Modeling lessons from verifying large software systems for safety and security. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi; Jon Mathews (WSC, 2017)

COMB: computing relevant program behaviors. - Benjamin Holland; Payas Awadhutkar; Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2018)