Ahmed Tamrawi

According to our database, Ahmed Tamrawi authored at least 18 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Control flow equivalence method for establishing sanctity of compiling.

Payas Awadhutkar, Ahmed Tamrawi, Ryan Goluch, Suresh C. Kothari

Comput. Secur., 2022

2018

Projected control graph for computing relevant program behaviors.

Ahmed Tamrawi, Suresh C. Kothari

Sci. Comput. Program., 2018

DynaDoc: Automated On-demand Context-Specific Documentation.

Ahmed Tamrawi, Sharwan Ram, Payas Awadhutkar, Benjamin Holland, Ganesh Ram Santhanam, Suresh C. Kothari

Proceedings of the IEEE Third International Workshop on Dynamic Software Documentation, 2018

COMB: computing relevant program behaviors.

Benjamin Holland, Payas Awadhutkar, Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Modeling lessons from verifying large software systems for safety and security.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi, Jon Mathews

Proceedings of the 2017 Winter Simulation Conference, 2017

2016

Human-machine resolution of Invisible Control Flow?

Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel.

Suresh C. Kothari, Payas Awadhutkar, Ahmed Tamrawi

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jeremias Sauceda, Jon Mathews

Proceedings of the 38th International Conference on Software Engineering, 2016

Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration.

Suresh C. Kothari, Ahmed Tamrawi, Jon Mathews

Proceedings of the 38th International Conference on Software Engineering, 2016

Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities.

Ahmed Tamrawi, Suresh C. Kothari

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2014

Event-Flow Graphs for Efficient Path-Sensitive Analyses.

Ahmed Tamrawi, Kang Gui, Suresh C. Kothari

CoRR, 2014

A "Human-in-the-loop" approach for resolving complex software anomalies.

Suresh C. Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

2012

SYMake: a build code analysis and refactoring tool for makefiles.

Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Build code analysis with symbolic evaluation.

Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen

Proceedings of the 34th International Conference on Software Engineering, 2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Fuzzy set and cache-based approach for bug triaging.

Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Fuzzy set-based automatic bug triaging.

Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Fuzzy set approach for automatic tagging in evolving software.

Jafar M. Al-Kofahi, Ahmed Tamrawi, Tung Thanh Nguyen, Hoan Anh Nguyen, Tien N. Nguyen

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010