Zachary Kincaid -

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

POPL 2023	Author of When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic within the POPL-track Speaker of Logic & Decidability I: Session Preview within the Session Previews-track Session Chair of Logic & Decidability I (part of POPL)
PLDI 2022	Committee Member in PLDI within the PLDI-track
PLDI 2021	Author of Termination Analysis without the Tears within the PLDI-track
POPL 2021	Committee Member in Program Committee within the POPL-track
PLDI 2020	Author of Templates and Recurrences: Better Together within the PLDI Research Papers-track Committee Member in SRC Committee within the Student Research Competition-track Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020	Committee Member in Tutorials Evaluation Committee within the TutorialFest-track Workshops Co-Chair in Organizing Committee
POPL 2019	Workshops Co-Chair in Organizing Committee Committee Member in Tutorials Evaluation Committee within the TutorialFest-track Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track Author of Closed Forms for Numerical Loops within the Research Papers-track
VMCAI 2019	Author of A Practical Algorithm for Structure Embedding within the VMCAI 2019-track
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
PLDI 2017	Committee Member in Program Committee Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track
POPL 2017	Committee Member in Program Committee within the POPL-track
PLMW	Committee Member in Speaker within the PLMW-track Author of Young Researcher Panel Session within the PLMW-track
PLDI 2016	Committee Member in External Review Committee
ESOP 2015	Author of Spatial Interpolants within the ESOP-track