Brian Hackett

Mozilla Foundation — United States

Computer Science · Physical Sciences

12h-index830citations13works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(8), Software Engineering Research(6), Software Testing and Debugging Techniques(5), Security and Verification in Computing(5), Formal Methods in Verification(4)

Publications13 total

Fast and precise hybrid type inference for JavaScript
ACM SIGPLAN Notices·2012· 25 cited
Fast and precise hybrid type inference for JavaScript
2012· 131 cited
Inferring data polymorphism in systems code
2011· 1 cited
Towards Scalable Modular Checking of User-Defined Properties
Lecture notes in computer science·2010· 20 cited
Unifying type checking and property checking for low-level code
ACM SIGPLAN Notices·2009· 19 cited
Unifying type checking and property checking for low-level code
2009· 60 cited
An overview of the saturn project
2007· 112 cited
How is aliasing used in systems software?
2006· 81 cited
Modular checking for buffer overflows in the large
2006· 109 cited
Region-based shape analysis with tracked locations
ACM SIGPLAN Notices·2005· 12 cited
Region-based shape analysis with tracked locations
2005· 144 cited
Ribosomal DNA internal transcribed spacer (ITS2) sequences differentiate <i>Anopheles funestus</i> and <i>An. rivulorum</i> , and uncover a cryptic taxon
Insect Molecular Biology·2000· 88 cited
Isolation of polymorphic microsatellite loci from the malaria vector <i>Anopheles funestus</i>
Molecular Ecology·2000· 28 cited

Frequent Co-authors

Alex Aiken(3), Shuvendu K. Lahiri(3), Shaz Qadeer(3), Radu Rugina(2), Shuyu Guo(2), Carlo Costantini(2), Frank H. Collins(2), Nora J. Besansky(2), Jeremy Condit(2), Suhabe Bugrara(1), Işıl Dillig(1), Thomas Dillig(1), Peter Hawkins(1), Manuvir Das(1), Daniel Wang(1), Zhe Yang(1), John E. Gimnig(1), Wamdaogo M. Guelbéogo(1), Lizette L. Koekemoer(1), Maureen Coetzee(1)