CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Adam Chlipala

Registered user since Sun 23 Nov 2014

Name:Adam Chlipala

Adam Chlipala finished his BS in computer science at Carnegie Mellon in 2003 and his PhD in computer science at UC Berkeley in 2007. Before starting at MIT, he was a postdoctoral fellow at Harvard. His research focuses on applications of formal logic to software development and analysis. One specialty area is building machine-checked mathematical proofs of correctness for programming tools like compilers and runtime systems, and he has a general interest in the pragmatics of machine-checked mathematics. He also works in the design and implementation of functional programming languages, as in the example of his new domain-specific programming language Ur/Web, which brings strong mathematical guarantees to the world of Web applications.

Country:United States
Personal website:http://adam.chlipala.net/
Research interests:Applications of machine-checked proofs in implementing, compiling, verifying, and/or synthesizing software & hardware; design and implementation of typed functional programming languages


CoqPL 2016 Committee Member in Program Committee within the CoqPL-track
PEPM 2016 Invited Talk: Fiat: Extensible Code Generation with Proofs
CPP 2016 Program Co-Chair in Program Committee within the CPP-track
POPL 2016 Certified Causally Consistent Distributed Key-Value Stores
Show activities from other conferences

POPL 2016-profile
View general profile