Suhabe Bugrara

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 1

Top Topics

Language Specific

Formal Verification

User Engagement

Top Venues

USENIX Annual Technical Conference

Publications

Suhabe Bugrara
User Experience with Language-Independent Formal Verification. CoRR (2019)
Suhabe Bugrara, Dawson R. Engler
Redundant State Detection for Dynamic Symbolic Execution. USENIX Annual Technical Conference (2013)
Suhabe Bugrara, Alex Aiken
Verifying the Safety of User Pointer Dereferences. IEEE Symposium on Security and Privacy (2008)
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project. PASTE (2007)
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
Optimizations for Compiling Declarative Models into Boolean Formulas. SAT (2005)
Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara
A classification system and analysis for aspect-oriented programs. SIGSOFT FSE (2004)