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