| 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 |
| 2016 | APSEC | Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. | Ahmed Tamrawi, 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 |
| 2014 | SMC | A "Human-in-the-loop" approach for resolving complex software anomalies. | Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan |
| 2012 | ICSE | Graph-based pattern-oriented, context-sensitive source code completion. | Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen |
| 2012 | ICSE | Build code analysis with symbolic evaluation. | Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen |
| 2011 | ICSE | Fuzzy set-based automatic bug triaging. | Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen |