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 × China
1 × Denmark
1 × France
1 × Italy
1 × Sweden
7 × USA
Collaborated with:
C.Lin V.Kashyap K.Dewey L.Nichols J.Roesch T.Sherwood B.Wiedermann M.Emre X.Li M.Tiwari F.T.Chong B.R.Churchill J.Oberg Joseph McMahan M.Christensen Sung-Yee Guo E.A.Kuefner J.Wagner K.Gibbons J.Sarracino J.K.Oberg V.R.Rajarathinam R.Kastner
Talks about:
analysi (6) pointer (5) languag (4) flow (4) javascript (3) secur (3) structur (2) million (2) hardwar (2) sensit (2)

Person: Ben Hardekopf

DBLP DBLP: Hardekopf:Ben

Contributed to:

CGO 20152015
ICSE 20152015
ASE 20142014
ASPLOS 20142014
CGO 20142014
FSE 20142014
VMCAI 20142014
CGO 20112011
PLDI 20112011
POPL 20092009
PLDI 20072007
SAS 20072007
ASE 20152015
FASE 20192019
ASPLOS 20172017

Wrote 15 papers:

CGO-2015-DeweyKH #interpreter #javascript #parallel
A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
ICSE-v1-2015-DeweyNH #automation #data type #generative
Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using
Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
ASPLOS-2014-0001KOTRKSHC #named #policy #security
Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.
CGO-2014-KashyapH #security
Security Signature Inference for JavaScript-based Browser Addons (VK, BH), p. 219.
FSE-2014-KashyapDKWGSWH #framework #javascript #named #platform #static analysis
JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
VMCAI-2014-HardekopfWCK #control flow
Widening for Control-Flow (BH, BW, BRC, VK), pp. 472–491.
CGO-2011-HardekopfL #analysis #pointer
Flow-sensitive pointer analysis for millions of lines of code (BH, CL), pp. 289–298.
PLDI-2011-LiTOKCSH #data flow #hardware #named
Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
POPL-2009-HardekopfL #analysis #pointer
Semi-sparse flow-sensitive pointer analysis (BH, CL), pp. 226–238.
PLDI-2007-HardekopfL #analysis #performance #pointer
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code (BH, CL), pp. 290–299.
SAS-2007-HardekopfL #analysis #equivalence #pointer
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis (BH, CL), pp. 265–280.
ASE-2015-DeweyRH #fuzzing #rust #using
Fuzzing the Rust Typechecker Using CLP (T) (KD, JR, BH), pp. 482–493.
FASE-2019-NicholsEH #clone detection #detection
Structural and Nominal Cross-Language Clone Detection (LN, ME, BH), pp. 247–263.
ASPLOS-2017-McMahanCNRGHS #analysis #architecture #composition
An Architecture Supporting Formal and Compositional Binary Analysis (JM, MC, LN, JR, SYG, BH, TS), pp. 177–191.

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.