A classification system and analysis for aspect-oriented programs. - Martin C. Rinard; Alexandru Salcianu; Suhabe Bugrara (SIGSOFT FSE, 2004)

Optimizations for Compiling Declarative Models into Boolean Formulas. - Darko Marinov; Sarfraz Khurshid; Suhabe Bugrara; Lintao Zhang; Martin C. Rinard (SAT, 2005)

An overview of the saturn project. - Alex Aiken; Suhabe Bugrara; Isil Dillig; Thomas Dillig; Brian Hackett; Peter Hawkins (PASTE, 2007)

Verifying the Safety of User Pointer Dereferences. - Suhabe Bugrara; Alex Aiken (SP, 2008)

Redundant State Detection for Dynamic Symbolic Execution. - Suhabe Bugrara; Dawson R. Engler (USENIX ATC, 2013)

State space reduction for dynamic symbolic execution. - Suhabe Bugrara (2014)

User Experience with Language-Independent Formal Verification. - Suhabe Bugrara (CoRR, 2019)