Concepedia

Brian Hackett

BH

11

Publications

809

Citations

11

H-Index

2000

Active since

Affiliations

Stanford University(Current)

Microsoft (United States)

Kenya Medical Research Institute

Mozilla Foundation

Sapienza University of Rome

Brian Hackett is an author at Stanford University specializing in computer science, software analysis, and formal verification.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringFormal MethodsSoftware TestingComputer EngineeringAutomated Reasoning

Publications per year

2000–2012

11

Publications

11

Region-based shape analysis with tracked locations

Brian Hackett, Radu Rugina · 2005 · 144 citations

Engineering, Statistical Shape Analysis, Region-based Shape Analysis +27

Fast and precise hybrid type inference for JavaScript

Brian Hackett, Shuyu Guo · 2012 · 131 citations

Engineering, Javascript Performance, Program Analysis +14

An overview of the saturn project

Alex Aiken, Suhabe Bugrara, Thomas Dillig et al. · 2007 · 112 citations

Great Scalability, Program Analysis Algorithms, Engineering +22

Modular checking for buffer overflows in the large

Brian Hackett, Manuvir Das, Daniel Wang et al. · 2006 · 109 citations

Software Maintenance, Engineering, Verification +23

Ribosomal DNA internal transcribed spacer (ITS2) sequences differentiate <i>Anopheles funestus</i> and <i>An. rivulorum</i> , and uncover a cryptic taxon

Brian Hackett, John E. Gimnig, Wamdaogo M. Guelbéogo et al. · Insect Molecular Biology · 2000 · 88 citations

Rows per page

1–5 of 11