Brian Hackett

According to our database, Brian Hackett authored at least 9 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Fast and precise hybrid type inference for JavaScript.

Brian Hackett, Shu-yu Guo

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Inferring data polymorphism in systems code.

Brian Hackett, Alex Aiken

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Type safety in the Linux kernel.

Brian Hackett

PhD thesis, 2010

Towards Scalable Modular Checking of User-Defined Properties.

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue

Proceedings of the Verified Software: Theories, 2010

2009

Unifying type checking and property checking for low-level code.

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2007

An overview of the saturn project.

Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

2006

How is aliasing used in systems software?

Brian Hackett, Alex Aiken

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Modular checking for buffer overflows in the large.

Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Region-based shape analysis with tracked locations.

Brian Hackett, Radu Rugina

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005