Zachary Kincaid - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Thu 18 Dec 2014

Name: Zachary Kincaid

Country: United States

Affiliation: Princeton University

Personal website: http://www.cs.princeton.edu/~zkincaid

Research interests: Programming Languages, Formal Methods

Contributions

Off the Beaten Track 2018	Committee Member in Program Committee within the Off the Beaten Track 2018-track
POPL 2018	Author of Non-Linear Reasoning For Invariant Synthesis within the Research Papers-track Author of Introduction to Algebraic Program analysis. within the TutorialFest-track Author of Non-Linear Reasoning For Invariant Synthesis within the Artifact Evaluation-track Author of Strategy Synthesis for Linear Arithmetic Games within the Research Papers-track Author of Strategy Synthesis for Linear Arithmetic Games within the Artifact Evaluation-track
Show activities from other conferences

POPL 2018-profile
View general profile