As of August 2015, I have moved to Ohio University. Please click through
to my new website.
Program Logics for Certiﬁed Compilers.
Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy.
Cambridge University Press, 2014.
Refereed Conference and Workshop Papers
Ziria: A DSL for Wireless Systems Programming.
, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis,
Cristina Luengo Agullo.
ASPLOS'15: The 20th International Conference on Architectural Support for Programming Languages and Operating Systems,
, Lennart Beringer, Santiago Cuellar, Andrew W. Appel.
POPL'15: The 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2015.
Veriﬁed Compilation for Shared-memory C.
Lennart Beringer, Gordon Stewart
, Robert Dockins, Andrew W. Appel.
ESOP'14: Proceedings of the 23rd European Symposium on Programming, April 2014.
Files accompanying the paper are available here
Posters, Demos, Extended Abstracts
Ziria: Language for Rapid Prototyping of Wireless PHY,
with Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, and Dimitrios Vytiniotis, at
MobiCom 2014, September 2014 (poster),
SIGCOMM 2014, August 2014 (demo), and
SRIF 2014, August 2014 (demo).
I've given external research talks at a number of conferences, including
I've also spoken at Yale
a DARPA HACMS
site visit on my dissertation research.
In 2013, I received the Wu Prize for Excellence
awarded by the Princeton School of Engineering and Applied Science
to a handful of graduate students each year.
In 2010, I received an honorable mention in the NSF Graduate
Research Fellowship Program.
I've also been the recipient of a number of travel support awards;
has further details.
I've had the opportunity to teach a number of courses
at Princeton, including three recitation sections of
Intro. Computer Science (2010-2011)
as well as Princeton's project-based
Advanced Programming Techniques (2012)
in which I served as an advisor on some great student projects.
More recently, I was a teaching assistant for
Programming Languages (2014)
taught by Dave Walker
The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.