Zachary Kincaid - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Thu 18 Dec 2014

Name:Zachary Kincaid

Country:United States

Affiliation:Princeton University

Research interests:Programming Languages, Formal Methods

Contributions

POPL 2019	Workshops Co-Chair in Organizing Committee Committee Member in Tutorials Evaluation Committee within the TutorialFest-track Refinement of Path Expressions for Static Analysis Closed Forms for Numerical Loops
VMCAI 2019	A Practical Algorithm for Structure Embedding
Show activities from other conferences