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

EGRAPHS 2022 Committee Member in Organizing Committee within the EGRAPHS 2022-track
PLDI 2022 Build your own optimizer with egg!
(POPL 2021) egg: Fast and Extensible Equality Saturation
(POPL 2022) Relational E-Matching
Show activities from other conferences

Using general profile