A Parallel Abstract Interpreter for JavaScript
Kyle Dewey, Vineeth Kashyap, and Ben Hardekopf
Symposium on Code Generation and Optimization (CGO), 2015

Kyle Dewey, Jared Roesch, and Ben Hardekopf
Conference on Automated Software Engineering (ASE), 2014

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf
Symposium on Foundations of Software Engineering (FSE), 2014

Madhukar N. Kedlaya, Behnam Robatmili, Calin Cascaval, and Ben Hardekopf
Conference on Virtual Execution Environments (VEE), 2014

Behnam Robatmili, Calin Cascaval, Mehrdad Reshadi, Madhukar N. Kedlaya, Seth Fowler, Michael Weber, and Ben Hardekopf
Conference on Virtual Execution Environments (VEE), 2014

Vineeth Kashyap and Ben Hardekopf
Symposium on Code Generation and Optimization (CGO), 2014

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

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

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
Dynamic Languages Symposium (DLS), 2013

Madhukar N. Kedlaya, Jared Roesch, Behnam Robatmili, Mehrdad Reshadi, Ben Hardekopf
Dynamic Languages Symposium (DLS), 2013

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong
Workshop on Programming Languages and Analysis for Security (PLAS), 2013

Fang Yu, Tevfik Bultan, and Ben Hardekopf
International SPIN Workshop on Model Checking of Software (SPIN), 2011

Xun Li, Mohit Tiwari, Jason K. Oberg, Vineeth Kashyap, Fred Chong, Tim Sherwood, and Ben Hardekopf
ACM Conference on Programming Language Design and Implementation (PLDI), 2011

Vineeth Kashyap, Ben Wiedermann, and Ben Hardekopf
IEEE Security and Privacy (S&P), 2011

Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy Levin, Ben Hardekopf, Frederic T Chong, Ryan Kastner, and Timothy Sherwood
International Symposium of Computer Architecture (ISCA), 2011

Ben Hardekopf and Calvin Lin
Symposium on Code Generation and Optimization (CGO), 2011

Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, and Frederic T Chong
Workshop on Programming Languages and Analysis for Security (PLAS), 2010

Ben Hardekopf and Calvin Lin
Symposium on Principles of Programming Languages (POPL), 2009

Ben Hardekopf and Calvin Lin
International Static Analysis Symposium (SAS), 2007

Ben Hardekopf and Calvin Lin
ACM Conference on Programming Language Design and Implementation (PLDI), 2007