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
SPLASH 2018Author of Mechanized Proofs of System Correctness in Production: Cryptography and Beyond within the SPLASH-I-track
Speaker in Speakers within the SPLASH-I-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 within the DSW 2017-track
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 within the Research Papers-track
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 within the POPL-track
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 within the Workshops-track
PLDI 2017Committee Member in External Review Committee
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
CoqPLCommittee Member in Program Committee within the CoqPL-track
PEPM 2016invited speaker of Invited Talk: Fiat: Extensible Code Generation with Proofs within the Invited Talks-track
CPP 2016Program Co-Chair in Program Committee within the CPP-track
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 within the ESOP-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
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