Computer Science Department
Update: I completed my Ph.D. I'm now at WiseOR.
My research interest is using program analysis for security and reliability. I graduated from MIT in 2005 with a B.Sc. in computer science.
Redundant State Detection for Dynamic Symbolic Execution
Suhabe Bugrara and Dawson Engler
Appeared in the 2013 USENIX Annual Technical Conference.
San Jose, California. June 2013.
An Overview of the Saturn Project
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Peter Hawkins and Brian Hackett
Appeared in the Seventh Workshop on Program Analysis for Software Tools and Engineering.
San Diego, California. June 2007.
Optimizations for Compiling Declarative Models into Boolean Formulas
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin Rinard
Appeared in the Eighth International Conference on Theory and Applications of Satisfiability Testing.
St. Andrews, Scotland. June 2005.
A Classification System and Analysis for Aspect-Oriented Programs
Martin Rinard, Alexandru Salcianu, Suhabe Bugrara
Appeared in the Twelfth International Symposium on the Foundations of Software Engineering.
Newport Beach, California. November 2004.
ACM Distinguished Paper Award
CS243: Advanced Compiling Techniques
Course Assistant, Winter 2008