Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

Bio: Assistant Professor at UW

Country: United States

Affiliation: University of Washington

Personal website: https://homes.cs.washington.edu/~ztatlock/

Research interests: Programming Languages

Contributions

CPP 2019Committee Member in Program Committee within the CPP 2019-track
PLDI 2019Committee Member in Program Committee
PLMW @ PLDI 2018Panelist of Panel: "Charting your Path" within the PLMW @ PLDI 2018-track
Speaker in Speakers within the PLMW @ PLDI 2018-track
MAPL 2018Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track
PLMW 2018Committee Member in Panelists within the PLMW-track
Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track
CPP 2018Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track
ICFP 2018Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
Onward! 2017Session Chair of Language Design (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
PLDI 2018Author 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 2017Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track
POPL 2018Session 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 2017Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track
SPLASH 2017Committee Member in Program Committee within the Doctoral Symposium-track
CPP 2016Author 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 2016Committee 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 2016Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
POPL 2016ERC 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 2015PLMW Co-Chair in Organizing Committee
PLDI 2015Session 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 2014Session Chair of Dynamic Optimization (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track