Ahmed Tamrawi

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 10

Top Topics

Spoken Dialog Systems

Software Systems

Top Venues

ICSE (Companion Volume)

Publications

Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari
Control flow equivalence method for establishing sanctity of compiling. Comput. Secur. 115 (2022)
Ahmed Tamrawi, Suresh C. Kothari
Projected control graph for computing relevant program behaviors. Sci. Comput. Program. 163 (2018)
Ahmed Tamrawi, Sharwan Ram, Payas Awadhutkar, Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari
DynaDoc: Automated On-demand Context-Specific Documentation. DySDoc@ICSME (2018)
Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
COMB: computing relevant program behaviors. ICSE (Companion Volume) (2018)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews
Modeling lessons from verifying large software systems for safety and security. WSC (2017)
Ahmed Tamrawi, Suresh C. Kothari
Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. APSEC (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Human-machine resolution of Invisible Control Flow? ICPC (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews
Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. ICSE (Companion Volume) (2016)
Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi
Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. ISSRE Workshops (2016)
Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews
Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. ICSE (Companion Volume) (2016)
Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan
A "Human-in-the-loop" approach for resolving complex software anomalies. SMC (2014)
Ahmed Tamrawi, Kang Gui, Suresh C. Kothari
Event-Flow Graphs for Efficient Path-Sensitive Analyses. CoRR (2014)
Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen
Graph-based pattern-oriented, context-sensitive source code completion. ICSE (2012)
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen
Build code analysis with symbolic evaluation. ICSE (2012)
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen
SYMake: a build code analysis and refactoring tool for makefiles. ASE (2012)
Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen
Fuzzy set and cache-based approach for bug triaging. SIGSOFT FSE (2011)
Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen
Fuzzy set-based automatic bug triaging. ICSE (2011)
Jafar M. Al-Kofahi, Ahmed Tamrawi, Tung Thanh Nguyen, Hoan Anh Nguyen, Tien N. Nguyen
Fuzzy set approach for automatic tagging in evolving software. ICSM (2010)