Zachary Tatlock

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:


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
Show activities from other conferences

PLDI 2016-profile
View general profile