Zachary Kincaid

Registered user since Thu 18 Dec 2014

Name: Zachary Kincaid

Affiliation: Princeton University, USA

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

Research interests: Programming Languages, Formal Methods

Contributions

PLDI 2021 Author of Termination Analysis without the Tears within the PLDI Research Papers-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
VMCAI 2019 Author of A Practical Algorithm for Structure Embedding within the VMCAI 2019-track
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
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
PLMW Committee Member in Speaker within the PLMW-track
Author of Young Researcher Panel Session within the PLMW-track
POPL 2017 Committee Member in Program Committee within the POPL-track
PLDI 2017 Committee Member in Program Committee
Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track
PLDI 2016 Committee Member in External Review Committee
ESOP 2015 Author of Spatial Interpolants within the ESOP-track