EasyChair Smart SlideUser guide
Author: Zachary Tatlock

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

Combining Tools for Optimization and Analysis of Floating-Point Computations

Combining Tools for Optimization and Analysis of Floating-Point Computations

Heiko Becker, Pavel Panchekha, Eva Darulova and Zachary Tatlock

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Ramana Kumar, Eric Mullen, Zachary Tatlock and Magnus O. Myreen

Verifying Distributed Systems

Verifying Distributed Systems

Zachary Tatlock

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