Adam Chlipala

Registered user since Sun 23 Nov 2014

Name: Adam Chlipala

Country: United States

Affiliation: Massachusetts Institute of Technology, USA

Personal website: http://adam.chlipala.net/

Research interests: Programming Languages & Tools, Formal Methods, Proof Assistants

Contributions

DeepSpec 2018Speaker of Verification Around the Hardware-Software Interface: Instruction Set, Processors, and Side Channels within the DeepSpec 2018-track
ICFP 2018Author of Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on learning the ways of ╬╗Prolog/Makam within the Research Papers-track
DSW 2017Committee Member in Organizing Committee
Author of Introduction to DeepSpec within the DSW 2017-track
Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW 2017)
Author of Correct-by-Construction Generation of Fast Code for Elliptic Curves within the DSW 2017-track
PLDI 2018Session Chair of Verification (part of PLDI Research Papers)
Committee Member in Program Committee
ICFP 2017Committee Member in Program Committee
Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track
RDP 2017Author of Fiat: A New Take on Domain-Specific Languages by Programming with Specifications within the RDP-track
POPL 2017Committee Member in Program Committee
Session Chair of Concurrency 3 (part of POPL)
Author of A Program Optimization for Automatic Database Result Caching within the POPL-track
SPLASH 2017Author of TiML: A Functional Language for Practical Complexity Analysis with Invariants within the OOPSLA-track
Committee Member in Program Committee
PLDI 2017Committee Member in External Review Committee
ICFP 2016Committee Member in External Review Committee
CoqPLCommittee Member in Program Committee
PEPM 2016invited speaker of Invited Talk: Fiat: Extensible Code Generation with Proofs within the Invited Talks-track
CPP 2016Program Co-Chair in Program Committee
SPLASH 2016Session Chair of Principles, Across the Compilation Stack (part of OOPSLA)
Speaker of Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web within the SPLASH-I-track
POPL 2016Author of Certified Causally Consistent Distributed Key-Value Stores within the Research Papers-track
ESOP 2015Committee Member in Program Committee
SPLASH 2015Committee Member in Program Committee
SPLASH 2014Author of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA-track
Presenter of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA Artifacts-track