PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
PLDI 2015 (series) / Zachary Tatlock
Zachary Tatlock

Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

Contributions

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

PLDI 2015-profile
View general profile