Zachary Kincaid - POPL 2018

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	Non-Linear Reasoning For Invariant Synthesis Introduction to Algebraic Program analysis. Non-Linear Reasoning For Invariant Synthesis Strategy Synthesis for Linear Arithmetic Games Strategy Synthesis for Linear Arithmetic Games
Show activities from other conferences