Concepedia

Author

Brian Hackett

Stanford University

Also Known As

B. J. Hackett, Brian Hackett

13

Publications

830

Citations

12

H-Index

41

Concepts

All Affiliations

Stanford UniversityMicrosoft (United States)Kenya Medical Research InstituteMozilla FoundationSapienza University of Rome
BH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

693

2

Computer Engineering

8

8

562

3

Natural Sciences

2

2

156

4

Medicine

1

1

28

5

Biology

1

1

28

Brian Hackett

×

11

Publications

809

Citations

11

H-Index

YearCitations

Region-based shape analysis with tracked locations

Brian Hackett, Radu Rugina

2005

144

Fast and precise hybrid type inference for JavaScript

Brian Hackett, Shuyu Guo

2012

131

An overview of the saturn project

Alex Aiken, Suhabe Bugrara, Thomas Dillig,

2007

112

Modular checking for buffer overflows in the large

Brian Hackett, Manuvir Das, Daniel Wang,

2006

109

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,

Insect Molecular Biology

2000

88

How is aliasing used in systems software?

Brian Hackett, Alex Aiken

2006

81

Unifying type checking and property checking for low-level code

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri,

2009

60

Isolation of polymorphic microsatellite loci from the malaria vector <i>Anopheles funestus</i>

Steven P. Sinkins, Brian Hackett, Carlo Costantini,

Molecular Ecology

2000

28

Fast and precise hybrid type inference for JavaScript

Brian Hackett, Shuyu Guo

ACM SIGPLAN Notices

2012

25

Unifying type checking and property checking for low-level code

Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri,

ACM SIGPLAN Notices

2009

19

Page 1