Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

Bio: I graduated from Purdue University back in Spring 2007 with degrees in Computer Science and Mathematics. As an undergraduate, I was fortunate to perform research with Suresh Jagannathan on the SML compiler MLton. For my Honors Project, advised by Antony Hosking, I designed and implemented a domain specific language to control a giant neon sculpture over the web. Over nearly three years, I ran the lab component of Purdue’s introductory Java programming course.

Affiliation: University of Washington

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

PLDI 2016 Activities

• Committee Member in Artifact Evaluation Committee for PLDI 2016 Artifact Evaluation
• Committee Member in Program Committee for PLDI 2016
• Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2016
• Artifact Evaluation Co-Chair in Artifact Evaluation Committee for PLDI 2016
• Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
• Show activities from other conferences