Ben Hardekopf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
15
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FLOPS | Breccia: A Functional DSL Compiled to Egglog for Test Input Generation. | Peter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf |
| 2024 | ASPLOS | 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 |
| 2022 | PLDI | PyLSE: a pulse-transfer level language for superconductor electronics. | Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf |
| 2021 | PLDI | Wire sorts: a language abstraction for safe hardware composition. | Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
| 2020 | QRS | A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. | Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf |
| 2019 | FASE | Structural and Nominal Cross-Language Clone Detection. | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
| 2019 | ISCA | Bouncer: static program analysis in hardware. | Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood |
| 2019 | ITiCSE | Syntax-based Improvements to Plagiarism Detectors and their Evaluations. | Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf |
| 2019 | PLDI | Fixpoint reuse for incremental JavaScript analysis. | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
| 2017 | ASPLOS | An Architecture Supporting Formal and Compositional Binary Analysis. | Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood |
| 2015 | CGO | A parallel abstract interpreter for JavaScript. | Kyle Dewey, Vineeth Kashyap, Ben Hardekopf |
| 2015 | DLS | Server-side type profiling for optimizing client-side JavaScript engines. | Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf |
| 2015 | ICSE | Automated Data Structure Generation: Refuting Common Wisdom. | Kyle Dewey, Lawton Nichols, Ben Hardekopf |
| 2014 | ASPLOS | Sapper: a language for hardware-level security policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2014 | CGO | Security Signature Inference for JavaScript-based Browser Addons. | Vineeth Kashyap, Ben Hardekopf |
| 2014 | VEE | Deoptimization for dynamic language JITs on typed, stack-based virtual machines. | Madhukar N. Kedlaya, Behnam Robatmili, Calin Cascaval, Ben Hardekopf |
| 2014 | VEE | MuscalietJS: rethinking layered dynamic web runtimes. | Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf |
| 2014 | VMCAI | Widening for Control-Flow. | Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap |
| 2013 | DLS | Type refinement for static analysis of JavaScript. | Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf |
| 2013 | DLS | Improved type specialization for dynamic scripting languages. | Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf |
| 2013 | PLDI | Position paper: Sapper - a language for provable hardware policy enforcement. | Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong |
| 2011 | CGO | Flow-sensitive pointer analysis for millions of lines of code. | Ben Hardekopf, Calvin Lin |
| 2011 | ISCA | Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. | Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood |
| 2011 | PLDI | Caisson: a hardware description language for secure information flow. | Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
| 2011 | SP | Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach. | Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf |
| 2010 | PLDI | Secure information flow analysis for hardware design: using the right abstraction for the job. | Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong |
| 2009 | POPL | Semi-sparse flow-sensitive pointer analysis. | Ben Hardekopf, Calvin Lin |
| 2007 | PLDI | The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. | Ben Hardekopf, Calvin Lin |
| 2007 | SAS | Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. | Ben Hardekopf, Calvin Lin |