EasyChair Smart SlideDocs/Log in
Author: Jason Gross

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

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

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