According to our database1, Suhabe Bugrara authored at least 5 papers between 2004 and 2013.
Legend:Book In proceedings Article PhD thesis Other
Redundant State Detection for Dynamic Symbolic Execution.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Verifying the Safety of User Pointer Dereferences.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (S&P 2008), 2008
An overview of the saturn project.
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007
Optimizations for Compiling Declarative Models into Boolean Formulas.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
A classification system and analysis for aspect-oriented programs.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004