Region-based shape analysis with tracked locations. - Brian Hackett; Radu Rugina (POPL, 2005)

Modular checking for buffer overflows in the large. - Brian Hackett; Manuvir Das; Daniel Wang; Zhe Yang 001 (ICSE, 2006)

How is aliasing used in systems software? - Brian Hackett; Alex Aiken (SIGSOFT FSE, 2006)

An overview of the saturn project. - Alex Aiken; Suhabe Bugrara; Isil Dillig; Thomas Dillig; Brian Hackett; Peter Hawkins (PASTE, 2007)

Unifying type checking and property checking for low-level code. - Jeremy Condit; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer (POPL, 2009)

Towards Scalable Modular Checking of User-Defined Properties. - Thomas Ball 001; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer; Julien Vanegue (VSTTE, 2010)

Type safety in the Linux kernel. - Brian Hackett (2010)

Inferring data polymorphism in systems code. - Brian Hackett; Alex Aiken (SIGSOFT FSE, 2011)

Fast and precise hybrid type inference for JavaScript. - Brian Hackett; Shu-yu Guo (PLDI, 2012)