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: Hackett:Brian
Contributed to:
2012
2011
2009
2007
2006
20062005Wrote 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.