EasyChair Smart SlideDocs/Log in
Author: Jade Philipoom

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

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