Registered user since Sun 23 Nov 2014

Name: Adam Chlipala

Bio: 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

Affiliation: MIT

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

POPL 2016 Activities

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