Brian Hackett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | PLDI | Fast and precise hybrid type inference for JavaScript. | Brian Hackett, Shu-yu Guo |
| 2009 | POPL | Unifying type checking and property checking for low-level code. | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
| 2006 | ICSE | Modular checking for buffer overflows in the large. | Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang |
| 2005 | POPL | Region-based shape analysis with tracked locations. | Brian Hackett, Radu Rugina |