 | 2011 |
|---|
| 7 |       | Brian Hackett,
Alex Aiken:
Inferring data polymorphism in systems code.
SIGSOFT FSE 2011: 332-342 |
| 2010 |
|---|
| 6 | | Thomas Ball,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer,
Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties.
VSTTE 2010: 1-24 |
| 2009 |
|---|
| 5 | | 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 | | Alex Aiken,
Suhabe Bugrara,
Isil Dillig,
Thomas Dillig,
Brian Hackett,
Peter Hawkins:
An overview of the saturn project.
PASTE 2007: 43-48 |
| 2006 |
|---|
| 3 | | Brian Hackett,
Manuvir Das,
Daniel Wang,
Zhe Yang:
Modular checking for buffer overflows in the large.
ICSE 2006: 232-241 |
| 2 | | Brian Hackett,
Alex Aiken:
How is aliasing used in systems software?
SIGSOFT FSE 2006: 69-80 |
| 2005 |
|---|
| 1 | | Brian Hackett,
Radu Rugina:
Region-based shape analysis with tracked locations.
POPL 2005: 310-323 |
Data released under the ODC-BY 1.0 license — See also our legal information page