| 2009 |
|---|
| 5 | EE | Jeremy Condit,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer:
Unifying type checking and property checking for low-level code.
POPL 2009: 302-314 |
| 2007 |
|---|
| 4 | EE | Alex Aiken,
Suhabe Bugrara,
Isil Dillig,
Thomas Dillig,
Brian Hackett,
Peter Hawkins:
An overview of the saturn project.
PASTE 2007: 43-48 |
| 2006 |
|---|
| 3 | EE | Brian Hackett,
Manuvir Das,
Daniel Wang,
Zhe Yang:
Modular checking for buffer overflows in the large.
ICSE 2006: 232-241 |
| 2 | EE | Brian Hackett,
Alex Aiken:
How is aliasing used in systems software?
SIGSOFT FSE 2006: 69-80 |
| 2005 |
|---|
| 1 | EE | Brian Hackett,
Radu Rugina:
Region-based shape analysis with tracked locations.
POPL 2005: 310-323 |
