BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
2 × China
4 × USA
Collaborated with:
A.Aiken S.Guo R.Rugina J.Condit S.K.Lahiri S.Qadeer M.Das D.Wang Z.Yang S.Bugrara I.Dillig T.Dillig P.Hawkins
Talks about:
check (3) system (2) infer (2) type (2) code (2) javascript (1) polymorph (1) properti (1) overview (1) overflow (1)

Person: Brian Hackett

DBLP DBLP: Hackett:Brian

Contributed to:

PLDI 20122012
ESEC/FSE 20112011
POPL 20092009
PASTE 20072007
FSE 20062006
ICSE 20062006
POPL 20052005

Wrote 7 papers:

PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference
Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
ESEC-FSE-2011-HackettA #morphism #polymorphism
Inferring data polymorphism in systems code (BH, AA), pp. 332–342.
POPL-2009-ConditHLQ #low level #type checking
Unifying type checking and property checking for low-level code (JC, BH, SKL, SQ), pp. 302–314.
PASTE-2007-AikenBDDHH #overview
An overview of the saturn project (AA, SB, ID, TD, BH, PH), pp. 43–48.
FSE-2006-HackettA #alias #how #question
How is aliasing used in systems software? (BH, AA), pp. 69–80.
ICSE-2006-HackettDWY #composition #in the large
Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.
POPL-2005-HackettR #analysis
Region-based shape analysis with tracked locations (BH, RR), pp. 310–323.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.