Zachary Kincaid - POPL 2018

Registered user since Thu 18 Dec 2014

Name:Zachary Kincaid

Country:United States

Affiliation:Princeton University

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