Ben Hardekopf

According to our database, Ben Hardekopf authored at least 38 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., April, 2023

Loop Rerolling for Hardware Decompilation.

Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf

Proc. ACM Program. Lang., 2023

2022

PyLSE: a pulse-transfer level language for superconductor electronics.

Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Safe functional systems through integrity types and verified assembly.

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf

Theor. Comput. Sci., 2021

Translating C to safer Rust.

Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf

Proc. ACM Program. Lang., 2021

Wire sorts: a language abstraction for safe hardware composition.

Michael Christensen, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.

Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Fixpoint reuse for incremental JavaScript analysis.

Lawton Nichols, Mehmet Emre, Ben Hardekopf

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

Syntax-based Improvements to Plagiarism Detectors and their Evaluations.

Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Bouncer: static program analysis in hardware.

Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood

Proceedings of the 46th International Symposium on Computer Architecture, 2019

Structural and Nominal Cross-Language Clone Detection.

Lawton Nichols, Mehmet Emre, Ben Hardekopf

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

An Architecture for Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

IEEE Micro, 2018

2017

An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2015

Fuzzing the Rust Typechecker Using CLP (T).

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automated Data Structure Generation: Refuting Common Wisdom.

Kyle Dewey, Lawton Nichols, Ben Hardekopf

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Server-side type profiling for optimizing client-side JavaScript engines.

Madhukar N. Kedlaya, Behnam Robatmili, Ben Hardekopf

Proceedings of the 11th Symposium on Dynamic Languages, 2015

A parallel abstract interpreter for JavaScript.

Kyle Dewey, Vineeth Kashyap, Ben Hardekopf

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

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

Widening for Control-Flow.

Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

MuscalietJS: rethinking layered dynamic web runtimes.

Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Vrajesh Bhavsar, Michael Weber, Ben Hardekopf

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

Deoptimization for dynamic language JITs on typed, stack-based virtual machines.

Madhukar N. Kedlaya, Behnam Robatmili, Calin Cascaval, Ben Hardekopf

Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 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

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Language fuzzing using constraint logic programming.

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Security Signature Inference for JavaScript-based Browser Addons.

Vineeth Kashyap, Ben Hardekopf

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

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

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

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

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Improved type specialization for dynamic scripting languages.

Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf

Proceedings of the DLS'13, 2013

Type refinement for static analysis of JavaScript.

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf

Proceedings of the DLS'13, 2013

2011

String Abstractions for String Verification.

Fang Yu, Tevfik Bultan, Ben Hardekopf

Proceedings of the Model Checking Software, 2011

Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach.

Vineeth Kashyap, Ben Wiedermann, Ben Hardekopf

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Caisson: a hardware description language for secure information flow.

Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

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

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

Flow-sensitive pointer analysis for millions of lines of code.

Ben Hardekopf, Calvin Lin

Proceedings of the CGO 2011, 2011

2010

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

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

2009

Semi-sparse flow-sensitive pointer analysis.

Ben Hardekopf, Calvin Lin

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2007

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.

Ben Hardekopf, Calvin Lin

Proceedings of the Static Analysis, 14th International Symposium, 2007

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code.

Ben Hardekopf, Calvin Lin

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2000

Exploiting the Overlap of Security and Fault-Tolerance.

Ben Hardekopf, Kevin A. Kwiat

Proceedings of the 2000 Academia / Industry Working Conference on Research Challenges (AIWoRC 2000), 2000