conf.researchr.org / 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
Twitter: https://twitter.com/ztatlock
GitHub: https://github.com/ztatlock
Research interests:Programming Languages
Contributions
2023
PLDI
- Committee Member in PLDI Review Committee within the PLDI Research Papers-track
- Co-chair in Workshop Co-Chairs within the Workshops and Tutorials-track
- Author of Better Together: Unifying Datalog and Equality Saturation within the PLDI Research Papers-track
- Session Chair of PLDI: Hardware & Systems (part of PLDI Research Papers)
- Workshops Co-Chair in Organizing Committee
EGRAPHS
2022
EGRAPHS
PLDI
- Presenter of Build your own optimizer with egg! within the Tutorials-track
- Session Chair of Domain Specific Languages (part of SIGPLAN Track)
- Author of (POPL 2021) egg: Fast and Extensible Equality Saturation within the SIGPLAN Track-track
- Author of (POPL 2022) Relational E-Matching within the SIGPLAN Track-track
2021
SPLASH
- Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track
- Author of Rewrite Rule Inference Using Equality Saturation within the Posters-track
- Author of Rewrite Rule Inference Using Equality Saturation within the OOPSLA-track
- Session Chair of AMA Session (part of Ask Me Anything (AMA))
2020
2019
SPLASH
2018
PLMW
PLDI
PLMW
POPL
- Session Chair of Language Design (part of Research Papers)
- Session Chair of Strings (part of Research Papers)
- Committee Member in Program Committee within the Research Papers-track
- Author of Programming and Proving with Distributed Protocols within the Research Papers-track
- Author of Programming and Proving with Distributed Protocols within the Artifact Evaluation-track
2017
Onward!
2016
PLDI
- Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
- Committee Member in Program Committee
- Artifact Evaluation Co-Chair in Organizing Committee
- Artifact Evaluation Co-Chair in Artifact Evaluation Committee
- Author of Verified Peephole Optimizations for CompCert within the Research Papers-track