Ph.D Candidate
Computer Science Department
Stanford University
<firstname>@stanford.edu

My research interest is improving software reliability using static analysis. My research advisor is Prof. Alex Aiken. I graduated from MIT in 2005 with a B.Sc. in computer science.

Publications
Verifying the Safety of User Pointer Dereferences [ps] [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 [ps]
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 [ps]
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 [ps]
Martin Rinard, Alexandru Salcianu, Suhabe Bugrara
Appeared in the Twelfth International Symposium on the Foundations of Software Engineering.
Newport Beach, California. November 2004.

Technical Reports
Verifying Finite-State Safety Properties on Millions of Lines of Code [ps]
Suhabe Bugrara and Alex Aiken.
Technical Report, Computer Science Department, Stanford University.
Stanford, California. June 2007.

Awards
ACM Distinguished Paper Award

Teaching
CS243: Advanced Compiling Techniques
Course Assistant, Winter 2008