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

All Activities

• Session Chair of Language Design (part of POPL 2018 Research Papers)
• ERC member in External Reviewing Committee for POPL 2016
• Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track in SPLASH 2016
• PLMW Co-Chair in Organizing Committee for SPLASH 2015
• Session Chair of Strings (part of POPL 2018 Research Papers)
• Committee Member in Program Committee for SPLASH 2017 Doctoral Symposium
• Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
• Committee Member in Artifact Evaluation Committee for PLDI 2016 Artifact Evaluation
• Session Chair of Language Design (part of Onward! 2017 Onward! Papers)
• Session Chair of Verification (part of PLDI 2015 Research Papers)
• Committee Member in Program Committee for POPL 2018 Research Papers
• Committee Member in Program Committee for PLDI 2016
• Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track in PLDI 2015
• Author of Programming and Proving with Distributed Protocols within the Research Papers-track in POPL 2018
• Committee Member in Panelists for PLMW 2018
• Committee Member in Program Committee for CPP 2016
• Author of Verification of Implementations of Distributed Systems Under Churn within the CoqPL 2017-track in CoqPL 2017
• Author of Finding Root Causes of Floating Point Error within the PLDI Research Papers-track in PLDI 2018
• Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track in ICFP 2018
• Session Chair of POPL SRC Posters and Reception (part of POPL 2016 SRC)
• Author of Relay: A New IR for Machine Learning Frameworks within the MAPL 2018-track in MAPL 2018
• Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2016
• Author of Panel II: Life in Grad School (and Beyond) within the PLMW-track in PLMW 2018
• Session Chair of Dynamic Optimization (part of SPLASH 2014 OOPSLA)
• ERC member in External Reviewing Committee for POPL 2016 Research Papers
• Artifact Evaluation Co-Chair in Artifact Evaluation Committee for PLDI 2016
• Student Research Competition Chair in Organizing Committee for POPL 2016
• Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
• Speaker in Speakers for PLMW @ PLDI 2018
• Author of Programming and Proving with Distributed Protocols within the Artifact Evaluation-track in POPL 2018
• Author of Verifying That Web Pages Have Accessible Layout within the PLDI Research Papers-track in PLDI 2018
• Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
• Committee Member in Program Committee for Onward! 2017 Onward! Papers
• Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track in PLDI 2015
• Committee Member in External Review Committee for SPLASH 2014 OOPSLA
• Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track in CPP 2018