Brian Hackett

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Bayesian Inference

Top Venues

Publications

Brian Hackett, Shu-yu Guo
Fast and precise hybrid type inference for JavaScript. PLDI (2012)
Brian Hackett, Alex Aiken
Inferring data polymorphism in systems code. SIGSOFT FSE (2011)
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties. VSTTE (2010)
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
Unifying type checking and property checking for low-level code. POPL (2009)
Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins
An overview of the saturn project. PASTE (2007)
Brian Hackett, Alex Aiken
How is aliasing used in systems software? SIGSOFT FSE (2006)
Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
Modular checking for buffer overflows in the large. ICSE (2006)
Brian Hackett, Radu Rugina
Region-based shape analysis with tracked locations. POPL (2005)