About
Education
-
Ph.D. in computer science from Stanford University in 2015. Dissertation on formal verification, program analysis, and software security.
-
B.Sc. in computer science from MIT in 2005.
Startup
- Founded Wise OR, a software startup that focuses on optimizing the profitability of surgeries at hospitals. Generated millions of dollars in revenue. The company was acquired in 2018.
Papers
-
Suhabe Bugrara. User Experience with Language-Independent Formal Verification. 2019.
-
Joel Pash, Bassam Kadry, Suhabe Bugrara, Alex Macario. Scheduling of Procedures and Staff in an Ambulatory Surgery Center. Anesthesiology Clinics 2014.
-
Suhabe Bugrara and Dawson Engler. Redundant State Detection for Dynamic Symbolic Execution. USENIX Technical 2013.
-
Suhabe Bugrara and Alex Aiken. Verifying the Safety of User Pointer Dereferences. IEEE Security & Privacy 2008.
-
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Peter Hawkins and Brian Hackett. An Overview of the Saturn Project. PASTE 2007.
-
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin Rinard. Optimizations for Compiling Declarative Models into Boolean Formulas. SAT 2005.
-
Martin Rinard, Alexandru Salcianu, Suhabe Bugrara. A Classification System and Analysis for Aspect-Oriented Programs. Foundations of Software Engineering 2004.
Awards
- ACM Distinguished Paper Award