Ben Hardekopf

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 13

Top Topics

Scripting Languages

Policy Enforcement

Top Venues

Proc. ACM Program. Lang.

Publications

Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf
Loop Rerolling for Hardware Decompilation. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
Aliasing Limits on Translating C to Safe Rust. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf
PyLSE: a pulse-transfer level language for superconductor electronics. PLDI (2022)
Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. 851 (2021)
Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf
Wire sorts: a language abstraction for safe hardware composition. PLDI (2021)
Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
Translating C to safer Rust. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. QRS (2020)
Lawton Nichols, Mehmet Emre, Ben Hardekopf
Structural and Nominal Cross-Language Clone Detection. FASE (2019)
Lawton Nichols, Mehmet Emre, Ben Hardekopf
Fixpoint reuse for incremental JavaScript analysis. SOAP@PLDI (2019)
Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf
Syntax-based Improvements to Plagiarism Detectors and their Evaluations. ITiCSE (2019)
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
Bouncer: static program analysis in hardware. ISCA (2019)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture for Analysis. IEEE Micro 38 (3) (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS (2017)
Kyle Dewey, Vineeth Kashyap, Ben Hardekopf
A parallel abstract interpreter for JavaScript. CGO (2015)
Kyle Dewey, Lawton Nichols, Ben Hardekopf
Automated Data Structure Generation: Refuting Common Wisdom. ICSE (1) (2015)
Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf
Server-side type profiling for optimizing client-side JavaScript engines. DLS (2015)
Kyle Dewey, Jared Roesch, Ben Hardekopf
Fuzzing the Rust Typechecker Using CLP (T). ASE (2015)
Madhukar N. Kedlaya, Behnam Robatmili, Calin Cascaval, Ben Hardekopf
Deoptimization for dynamic language JITs on typed, stack-based virtual machines. VEE (2014)
Vineeth Kashyap, Ben Hardekopf
Security Signature Inference for JavaScript-based Browser Addons. CGO (2014)
Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf
MuscalietJS: rethinking layered dynamic web runtimes. VEE (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: a static analysis platform for JavaScript. SIGSOFT FSE (2014)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Sapper: a language for hardware-level security policy enforcement. ASPLOS (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. CoRR (2014)
Kyle Dewey, Jared Roesch, Ben Hardekopf
Language fuzzing using constraint logic programming. ASE (2014)
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap
Widening for Control-Flow. VMCAI (2014)
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Position paper: Sapper - a language for provable hardware policy enforcement. PLAS (2013)
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
Type refinement for static analysis of JavaScript. DLS (2013)
Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf
Improved type specialization for dynamic scripting languages. DLS (2013)
Ben Hardekopf, Calvin Lin
Flow-sensitive pointer analysis for millions of lines of code. CGO (2011)
Fang Yu, Tevfik Bultan, Ben Hardekopf
String Abstractions for String Verification. SPIN (2011)
Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf
Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. IEEE Symposium on Security and Privacy (2011)
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf
Caisson: a hardware description language for secure information flow. PLDI (2011)
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA (2011)
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong
Secure information flow analysis for hardware design: using the right abstraction for the job. PLAS (2010)
Ben Hardekopf, Calvin Lin
Semi-sparse flow-sensitive pointer analysis. POPL (2009)
Ben Hardekopf, Calvin Lin
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. SAS (2007)
Ben Hardekopf, Calvin Lin
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. PLDI (2007)
Ben Hardekopf, Kevin A. Kwiat
Exploiting the Overlap of Security and Fault-Tolerance. AIWoRC (2000)