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

POPL 2022 Author of Relational E-Matching within the POPL-track
MAPS 2021 Author of Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) within the MAPS 2021-track
PLMW@PLDI 2021 Moderator of Panel on Grad School within the PLMW@PLDI 2021-track
SPLASH 2021 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))
PLDI 2021 Committee Member in Program Committee within the PLDI-track
PLATEAU 2020 Author of The Essence of Program Semantics Visualizers: A Three-Axis Model within the PLATEAU 2020-track
POPL 2021 Author of egg: Fast and Extensible Equality Saturation within the POPL-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020 Committee Member in External Program Committee within the PLDI Research Papers-track
Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
SPLASH 2019 Author of Modular Verification of Web Page Layout within the OOPSLA-track
Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track
CPP 2019 Committee Member in Program Committee within the CPP 2019-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018 Panelist of Panel: "Charting your Path" within the PLMW @ PLDI 2018-track
Speaker in Speakers within the PLMW @ PLDI 2018-track
MAPL 2018 Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PLMW 2018 Committee Member in Panelists within the PLMW-track
Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
CPP 2018 Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track
ICFP 2018 Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
Onward! 2017 Session Chair of Language Design (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018 Author of Finding Root Causes of Floating Point Error within the PLDI Research Papers-track
Author of Verifying That Web Pages Have Accessible Layout within the PLDI Research Papers-track
ICFP 2017 Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track
POPL 2018 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
CoqPL 2017 Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
SPLASH 2017 Committee Member in Program Committee within the Doctoral Symposium-track
CPP 2016 Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
Committee Member in Program Committee within the CPP-track
PLDI 2016 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
SPLASH 2016 Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
POPL 2016 ERC member in External Reviewing Committee
Session Chair of POPL SRC Posters and Reception (part of SRC)
ERC member in External Reviewing Committee within the Research Papers-track
Student Research Competition Chair in Organizing Committee
SPLASH 2015 PLMW Co-Chair in Organizing Committee
PLDI 2015 Session Chair of Verification (part of Research Papers)
Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track
SPLASH 2014 Session Chair of Dynamic Optimization (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track