SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
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, Seattle
Personal website:https://ztatlock.net
Research interests:Programming Languages

Contributions

SPLASH 2021 Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Rewrite Rule Inference Using Equality Saturation
Show activities from other conferences

Using general profile