Suhabe Bugrara

According to our database, Suhabe Bugrara authored at least 7 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

User Experience with Language-Independent Formal Verification.

Suhabe Bugrara

CoRR, 2019

2014

State space reduction for dynamic symbolic execution.

Suhabe Bugrara

PhD thesis, 2014

2013

Redundant State Detection for Dynamic Symbolic Execution.

Suhabe Bugrara, Dawson R. Engler

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

2008

Verifying the Safety of User Pointer Dereferences.

Suhabe Bugrara, Alex Aiken

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2005

Optimizations for Compiling Declarative Models into Boolean Formulas.

Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004

A classification system and analysis for aspect-oriented programs.

Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004