About Me: Currently pursuing PhD in Computer Engineering at Iowa State University under the supervision of Professor Suraj C. Kothari. My current research is focused on developing novel techniques for scalable software analyses.
We develop techniques that amplify the human knowledge for better ability to comprehend software and accurately localize vulnerabilities. Currently, we are developing scalable and efficient techniques to enable efficient and accurate verification for the safe-synchronization property in the Linux kernel. Our ultimate goal is to bridge the gap between abstract software theories and industrial practices.
Previously, received Master of Science degree in Computer Engineering from Iowa State University (Summer 2011) under the supervision of Dr. Tien N. Nguyen. My research was focused on bug triaging and build code analyses. Also, received B.Eng in Computer Engineering from Yarmouk University (Fall 2007).
Publications: Go to Software Engineering Research Community Website for more info about available conferences and their research scopes!
My Google Scholar Citations
Suresh Kothari, Akshay Deepak, Ahmed Tamrawi, Benjamin Holland, Sandeep Krishnan
A “Human-in-the-loop” Approach for Resolving Complex Software Anomalies.
In Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014), San Diego, CA October 2014.
Download: [PDF][BibTeX]
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen and Tien N. Nguyen.
SYMake: A Build Code Analysis and Refactoring Tool for Makefiles.
In Proceedings of the 2012 IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany September 2012.
Download: [PDF][BibTeX][Website]
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen and Tien N. Nguyen.
Build Code Analysis with Symbolic Evaluation.
In Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2012.
Download: [PDF][BibTeX][Website]
Anh Tuan Nguyen, Tung Thanh Nguyen, Hoan Anh Nguyen, Ahmed Tamrawi, Hung Viet Nguyen, Jafar M. Al-Kofahi and Tien N. Nguyen.
Graph-Based Pattern-Oriented, Context-Sensitive Source Code Completion.
In Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2012.
Download: [PDF][BibTeX]
Ahmed Tamrawi
Fuzzy Set and Cache-Based Approach for Bug Triaging.
As Master of Science Thesis (Iowa State University), Ames, Iowa, June 2012.
Download: [PDF][Presentation]
Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi and Tien N. Nguyen.
Fuzzy Set and Cache-Based Approach for Bug Triaging.
In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (ESEC/FSE 2011), Szeged, Hungary, September 2011.
Download: [PDF][BibTeX][Website]
Ahmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi and Tien N. Nguyen.
Fuzzy Set-Based Automatic Bug Triaging: NIER Track.
In Proceedings of the International Conference on Software Engineering (ICSE 2011), Waikiki, Jonolulu, Hawaii, May 2011.
Download: [PDF][BibTeX]
Jafar M. Al-Kofahi, Ahmed Tamrawi, Tung Thanh Nguyen, Hoan Anh Nguyen and Tien N. Nguyen.
Fuzzy Set Approach for Automatic Tagging in Evolving Software.
In Proceedings of the International Conference on Software Maintenance (ICSM 2010), Timișoara, Romania, September 2010.
Download: [PDF][BibTeX]
![[Ahmed's picture]](images/me.jpg)