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: Hardekopf:Ben
Contributed to:
2015
2015
2014
20142014
2014
20142011
2011
20092007
20072015
20192017Wrote 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.