Ben Hardekopf

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