A zebra with sunglasses and laser eyes spelling Z.


The egg Equality Saturation Toolkit

2022-10-08, ETH Workshop on Dependable and Secure Software Systems

Synthesizing Backward through the Geometry Pipeline

2020-08-19, madPL Seminar @ University of Wisconsin

Towards Numerical Assistants

Pavel Panchekha, Zachary Tatlock

2020-07-21, Numerical Software Verification @ CAV

I have not been diligent tracking talks; several are missing.
If you have pointers to any, please let me know!