conf.researchr.org / 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
2024
2023
2021
2020
PLDI
2019
POPL
2018
Off the Beaten Track
POPL
- 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