Suhabe Bugrara

According to our database1, Suhabe Bugrara authored at least 5 papers between 2004 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Redundant State Detection for Dynamic Symbolic Execution.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

2008
Verifying the Safety of User Pointer Dereferences.
Proceedings of the 2008 IEEE Symposium on Security and Privacy (S&P 2008), 2008

2007
An overview of the saturn project.
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.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005

2004
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


  Loading...