EasyChair Smart SlideDocs/Log in
Author: Andres Erbsen

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

10 Years of Superlinear Slowness in Coq

10 Years of Superlinear Slowness in Coq

Jason Gross and Andres Erbsen

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

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