Suhabe Bugrara

Ph.D. Candidate
Computer Science Department
Stanford University

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.

Verifying the Safety of User Pointer Dereferences [slides]
Suhabe Bugrara and Alex Aiken
Appeared in the 2008 IEEE Symposium on Security and Privacy.
Oakland, California. May 2008.

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

CS343: Advanced Topics in Compilers
Course Assistant, Spring 2011