ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name:Zachary Tatlock
Bio:

Associate Professor at the University of Washington

Country:United States
Affiliation:University of Washington
Personal website:https://ztatlock.net
Research interests:Programming Languages

Contributions

ECOOP 2022 Verified Compilation and Optimization of Floating-Point Programs in CakeML
Show activities from other conferences

Using general profile