Publications

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, and Jonathan Balkind, Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2024

Aliasing Limits on Translating C to Safe Rust

Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf, ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA), 2023

Translating C to Safer Rust

Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf, ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA), 2021

An Architecture for Analysis

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, and Timothy Sherwood, IEEE Micro Top Picks, 2018

Sapper: A Language for Hardware-Level Security Policy Enforcement

Honorable Mention, IEEE Micro Top Picks 2015
Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong, Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014

Widening for Control-Flow

Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, Vineeth Kashyap, Verification, Model Checking, and Abstract Interpretation (VMCAI), 2014