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

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