| 2019 | ICSE | Mockingbird: a framework for enabling targeted dynamic analysis of Java programs. | Derrick Lockwood, Benjamin Holland, Suresh C. Kothari |
| 2018 | ICSE | COMB: computing relevant program behaviors. | Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews |
| 2017 | GPCE | Four languages and lots of macros: analyzing autotools build systems. | Jafar M. Al-Kofahi, Suresh C. Kothari, Christian Kstner |
| 2017 | ICISS | Human-on-the-Loop Automation for Detecting Software Side-Channel Vulnerabilities. | Ganesh Ram Santhanam, Benjamin Holland, Suresh C. Kothari, Nikhil Ranade |
| 2017 | ICST | Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark. | Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari |
| 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 | APSEC | Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. | Ahmed Tamrawi, Suresh C. Kothari |
| 2016 | ICSE | Software engineering research lab to airplanes, orion and beyond: one professor's journey shaped by industry-university collaboration. | Suresh C. Kothari |
| 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 |
| 2016 | ISSRE | Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. | Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi |
| 2016 | SCAM | Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. | Benjamin Holland, Ganesh Ram Santhanam, Payas Awadhutkar, Suresh C. Kothari |
| 2015 | ICISS | FlowMiner: Automatic Summarization of Library Data-Flow for Malware Analysis. | Tom Deering, Ganesh Ram Santhanam, Suresh C. Kothari |
| 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 |
| 2014 | SMC | A "Human-in-the-loop" approach for resolving complex software anomalies. | Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan |
| 2013 | ISSRE | Computational modeling to detect software sabotage: A discussion of technical challenges and a demonstration of innovative technology. | Suresh C. Kothari |
| 2002 | ICPP | Space and Time Efficient Parallel Algorithms and Software for EST Clustering. | Anantharaman Kalyanaraman, Srinivas Aluru, Suresh C. Kothari |
| 2000 | HiPC | ParAgent: A Domain-Specific Semi-automatic Parallelization Tool. | Simanta Mitra, Suresh C. Kothari, Jaekyu Cho, A. Krishnaswarmy |
| 1994 | ICPP | A Memory Constrained Scalability Metric. | Mark A. Fienup, Suresh C. Kothari |
| 1989 | ICPP | Optimal Designs of Linear Flow Systolic Architectures. | Suresh C. Kothari, Heekuck Oh, Ethan Gannet |
| 1988 | SIGMETRICS | Performance Analysis of Multipath Mulistage Interconnection Networks. | Suresh C. Kothari, Anita Jhunjhunwala |
| 1984 | CRYPTO | Generalized Linear Threshold Scheme. | Suresh C. Kothari |
| 1983 | ICPP | A Condition Known to be Sufficient for Rearrangeability of the Benes Class of Interconnection Networks with 2x2 Switches Is Also Necessary. | Suresh C. Kothari, S. Lakshmivarahan |