Registered user since Tue 17 Feb 2015

Name: Zachary Tatlock

PLDI 2015 Activities

• Session Chair of Verification (part of PLDI 2015 Research Papers)
• Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track in PLDI 2015
• Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track in PLDI 2015
• Show activities from other conferences