Ahmed Tamrawi

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