Talks
The egg Equality Saturation Toolkit
2022-10-08, ETH Workshop on Dependable and Secure Software Systems
Towards Optimizing Multi-precision, Multi-format Numerical Codes
2020-10-09, Intel ARITH
Synthesizing Backward through the Geometry Pipeline
2020-08-19, madPL Seminar @ University of Wisconsin
Pavel Panchekha, Zachary Tatlock
2020-07-21, Numerical Software Verification @ CAV
TVM Relay: A Functional IR for Analysis and Optimization
2019-12-05, TVM Conference
Synthesis of Floating Point Programs and Beyond
2019-09-20, Synthetic Minds
Formally Verifying Implementations of Distributed Systems
2018-09-13, Galois
Formally Verifying Distributed Systems in Coq
2018-07-08, Coq Workshop
FPBench: Toward Standard Floating Point Benchmarks
2017-08-29, Dagstuhl
FPBench: Toward Standard Floating Point Benchmarks
2017-08-25, MPI-SWS
Automatically Improving Accuracy for Floating Point Expressions
2017-02-03, University of Utah
Dijkstra and De Millo: Challenges in Applying and Teaching Verification
2016-07-14, Microsoft Research Faculty Summit
I have not been diligent tracking talks; several are missing.
If you have pointers to any, please let me know!