EasyChair Smart SlideDocs/Log in
Author: Adam Chlipala

This page shows all presentations of this author published in EasyChair Smart Slide.

Accelerating Verified-Compiler Development with a Verified Rewriting Engine

Accelerating Verified-Compiler Development with a Verified Rewriting Engine

Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal and Adam Chlipala

Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols

Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols

Joonwon Choi, Adam Chlipala and Arvind

Automatic Test-Case Reduction in Proof Assistants: a Case Study in Coq

Automatic Test-Case Reduction in Proof Assistants: a Case Study in Coq

Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal and Adam Chlipala

Computable decision making on the reals and other spaces via partiality and nondeterminism

Computable decision making on the reals and other spaces via partiality and nondeterminism

Benjamin Sherman, Luke Sciarappa, Adam Chlipala and Michael Carbin

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair