POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
  • Attending
    • Venue: Omni Hotel
    • Registration
    • Code of Conduct
    • Supporting POPL
    • Childcare
    • Students
    • Visa Support Letter
    • Accessibility
    • Remote Participation
  • Program
    • POPL Program
    • Your Program
    • Proceedings
    • Filter by Day
      • Sun 7 Jan
      • Mon 8 Jan
      • Tue 9 Jan
      • Wed 10 Jan
      • Thu 11 Jan
      • Fri 12 Jan
      • Sat 13 Jan
  • Tracks
      • POPL 2018
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Co-hosted Conferences
      • CPP
        • CPP
        • CPP
      • VMCAI
      • Workshops
      • PPS
      • CoqPL
      • NetPL
      • Off the Beaten Track
      • PEPM
      • PLMW
      • PriSC
      • Co-hosted Symposia
      • PADL
  • Organization
      • POPL 2018 Committees
      • Organizing Committee
      • Steering Committee
      • Track Committees
      • Research Papers
      • TutorialFest
      • Student Research Competition
      • Workshops
      • Artifact Evaluation
      • Student Volunteers
      • Contributors
      • People Index
      • Co-hosted Conferences
      • CPP
        • Program Committee
      • VMCAI
        • Invited Speakers
        • Invited Tutorial
        • Organizing Committee
        • Travel Grants
        • Program Committee
      • Workshops
      • PPS
        • Program Committee
      • CoqPL
        • Organizing Committee
        • Program Committee
      • NetPL
        • Organizing Committee
      • Off the Beaten Track
        • Organizing Committee
        • Program Committee
      • PEPM
        • Programme Committee
        • Steering Committee
      • PLMW
        • Speakers
        • Panelists
        • Organizers
      • PriSC
        • Program Committee
        • Organizing Committee
      • Co-hosted Symposia
      • PADL
        • Publicity Chair
  • Search
  • Series
    • Series
    • POPL 2026
    • POPL 2025
    • POPL 2024
    • POPL 2023
    • POPL 2022
    • POPL 2021
    • POPL 2020
    • POPL 2019
    • POPL 2018
    • POPL 2017
    • POPL 2016
  • Sign in
  • Sign up
POPL 2018 (series) / Zachary Tatlock
  • conf.research.org general profile
  • ECOOP 2022 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2023 profile
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • SPLASH 2014 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • SPLASH 2017 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
  • ‹Programming› 2024 profile
Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name:Zachary Tatlock
Bio:

Assistant Professor at the University of Washington

Country:United States
Affiliation:University of Washington, Seattle
Personal website: https://ztatlock.net
Research interests:Programming Languages

Contributions

2018

CPP

  • Œuf: Minimizing the Coq Extraction TCB

PLMW

  • Committee Member in Panelists within the PLMW-track
  • Panel II: Life in Grad School (and Beyond)

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
  • Programming and Proving with Distributed Protocols
  • Programming and Proving with Distributed Protocols

Show activities from other conferences

Share
POPL 2018-profile
View general profile
xThu 8 May 23:26

POPL 2018

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers

Co-hosted Conferences

CPP 2018
VMCAI 2018

Workshops

PPS 2018
CoqPL 2018
NetPL 2018
Off the Beaten Track 2018
PEPM 2018
PLMW 2018
PriSC 2018

Co-hosted Symposia

PADL 2018

Attending

Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Sign Up