Exploiting the Overlap of Security and Fault-Tolerance. - Ben Hardekopf; Kevin A. Kwiat (AIWoRC, 2000)

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. - Ben Hardekopf; Calvin Lin (PLDI, 2007)

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. - Ben Hardekopf; Calvin Lin (SAS, 2007)

Semi-sparse flow-sensitive pointer analysis. - Ben Hardekopf; Calvin Lin (POPL, 2009)

Secure information flow analysis for hardware design: using the right abstraction for the job. - Xun Li 001; Mohit Tiwari; Ben Hardekopf; Timothy Sherwood; Frederic T. Chong (PLAS, 2010)

Flow-sensitive pointer analysis for millions of lines of code. - Ben Hardekopf; Calvin Lin (CGO, 2011)

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. - Mohit Tiwari; Jason Oberg; Xun Li 001; Jonathan Valamehr; Timothy E. Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (ISCA, 2011)

Caisson: a hardware description language for secure information flow. - Xun Li 001; Mohit Tiwari; Jason Oberg; Vineeth Kashyap; Frederic T. Chong; Timothy Sherwood; Ben Hardekopf (PLDI, 2011)

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. - Vineeth Kashyap; Ben Wiedermann; Ben Hardekopf (IEEE Symposium on Security and Privacy, 2011)

String Abstractions for String Verification. - Fang Yu 001; Tevfik Bultan; Ben Hardekopf (SPIN, 2011)

Type refinement for static analysis of JavaScript. - Vineeth Kashyap; John Sarracino; John Wagner; Ben Wiedermann; Ben Hardekopf (DLS, 2013)

Improved type specialization for dynamic scripting languages. - Madhukar N. Kedlaya; Jared Roesch; Behnam Robatmili; Mehrdad Reshadi; Ben Hardekopf (DLS, 2013)

Position paper: Sapper - a language for provable hardware policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (PLAS, 2013)

Sapper: a language for hardware-level security policy enforcement. - Xun Li 001; Vineeth Kashyap; Jason K. Oberg; Mohit Tiwari; Vasanth Ram Rajarathinam; Ryan Kastner; Timothy Sherwood; Ben Hardekopf; Frederic T. Chong (ASPLOS, 2014)

Security Signature Inference for JavaScript-based Browser Addons. - Vineeth Kashyap; Ben Hardekopf (CGO, 2014)

Language fuzzing using constraint logic programming. - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 2014)

JSAI: a static analysis platform for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (SIGSOFT FSE, 2014)

Deoptimization for dynamic language JITs on typed, stack-based virtual machines. - Madhukar N. Kedlaya; Behnam Robatmili; Calin Cascaval; Ben Hardekopf (VEE, 2014)

MuscalietJS: rethinking layered dynamic web runtimes. - Behnam Robatmili; Calin Cascaval; Mehrdad Reshadi; Madhukar N. Kedlaya; Seth Fowler; Vrajesh Bhavsar; Michael Weber 002; Ben Hardekopf (VEE, 2014)

Widening for Control-Flow. - Ben Hardekopf; Ben Wiedermann; Berkeley R. Churchill; Vineeth Kashyap (VMCAI, 2014)

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (CoRR, 2014)

A parallel abstract interpreter for JavaScript. - Kyle Dewey; Vineeth Kashyap; Ben Hardekopf (CGO, 2015)

Server-side type profiling for optimizing client-side JavaScript engines. - Madhukar N. Kedlaya; Behnam Robatmili; Ben Hardekopf (DLS, 2015)

Automated Data Structure Generation: Refuting Common Wisdom. - Kyle Dewey; Lawton Nichols; Ben Hardekopf (ICSE (1), 2015)

Fuzzing the Rust Typechecker Using CLP (T). - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 2015)

An Architecture Supporting Formal and Compositional Binary Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (ASPLOS, 2017)

An Architecture for Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (IEEE Micro, 2018)

Structural and Nominal Cross-Language Clone Detection. - Lawton Nichols; Mehmet Emre; Ben Hardekopf (FASE, 2019)

Bouncer: static program analysis in hardware. - Joseph McMahan; Michael Christensen 001; Kyle Dewey; Ben Hardekopf; Timothy Sherwood (ISCA, 2019)

Syntax-based Improvements to Plagiarism Detectors and their Evaluations. - Lawton Nichols; Kyle Dewey; Mehmet Emre; Sitao Chen; Ben Hardekopf (ITiCSE, 2019)

Fixpoint reuse for incremental JavaScript analysis. - Lawton Nichols; Mehmet Emre; Ben Hardekopf (SOAP@PLDI, 2019)

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. - Miroslav Gavrilov; Kyle Dewey; Alex Groce; Davina Zamanzadeh; Ben Hardekopf (QRS, 2020)

Wire sorts: a language abstraction for safe hardware composition. - Michael Christensen 001; Timothy Sherwood; Jonathan Balkind; Ben Hardekopf (PLDI, 2021)

Translating C to safer Rust. - Mehmet Emre; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2021)

Safe functional systems through integrity types and verified assembly. - Michael Christensen 001; Joseph McMahan; Lawton Nichols; Jared Roesch; Timothy Sherwood; Ben Hardekopf (Theor. Comput. Sci., 2021)

PyLSE: a pulse-transfer level language for superconductor electronics. - Michael Christensen 001; Georgios Tzimpragos; Harlan Kringen; Jennifer Volk; Timothy Sherwood; Ben Hardekopf (PLDI, 2022)

Loop Rerolling for Hardware Decompilation. - Zachary D. Sisco; Jonathan Balkind; Timothy Sherwood; Ben Hardekopf (Proc. ACM Program. Lang., 2023)

Aliasing Limits on Translating C to Safe Rust. - Mehmet Emre; Peter Boyland; Aesha Parekh; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2023)

Control Logic Synthesis: Drawing the Rest of the OWL. - Zachary D. Sisco; Andrew David Alex; Zechen Ma; Yeganeh Aghamohammadi; Boming Kong; Benjamin Darnell; Timothy Sherwood; Ben Hardekopf; Jonathan Balkind (ASPLOS (4), 2024)