 | 2008 |
|---|
| 4 |       | Suhabe Bugrara,
Alex Aiken:
Verifying the Safety of User Pointer Dereferences.
IEEE Symposium on Security and Privacy 2008: 325-338 |
| 2007 |
|---|
| 3 | | Alex Aiken,
Suhabe Bugrara,
Isil Dillig,
Thomas Dillig,
Brian Hackett,
Peter Hawkins:
An overview of the saturn project.
PASTE 2007: 43-48 |
| 2005 |
|---|
| 2 | | Darko Marinov,
Sarfraz Khurshid,
Suhabe Bugrara,
Lintao Zhang,
Martin C. Rinard:
Optimizations for Compiling Declarative Models into Boolean Formulas.
SAT 2005: 187-202 |
| 2004 |
|---|
| 1 | | Martin C. Rinard,
Alexandru Salcianu,
Suhabe Bugrara:
A classification system and analysis for aspect-oriented programs.
SIGSOFT FSE 2004: 147-158 |
