Zachary Tatlock - GPCE 2021

co-located with SPLASH 2021

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

Research interests:Programming Languages

Contributions

SPLASH 2021	Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation Session Chair of AMA Session (part of Ask Me Anything (AMA))
Show activities from other conferences

SPLASH 2021-profile
View general profile