Scholar
Zachary Kincaid
Google Scholar ID: uT9We9MAAAAJ
Princeton University
Citations & Impact
Citations
878
H-index
15
i10-index
20
Publications
20
Co-authors
13
list available
Publications
Resume (English only)
Academic Achievements
- Publications:
- - Nikhil Pimpalkhare, Zachary Kincaid: Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials. OOPSLA 2024.
- - Charlie Murphy, Zachary Kincaid: Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. CAV 2024.
- - Shaowei Zhu, Zachary Kincaid: Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. CAV 2024.
- - Nikhil Pimpalkhare, Zachary Kincaid: Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability. RP 2024.
- - Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai: Relational Network Verification. SIGCOMM 2024.
Research Experience
- Associate professor at Princeton University; Research projects on making program analysis compositional and robust.
Education
- PhD from the University of Toronto, Adviser: Azadeh Farzan
Background
- Main research interests are in program analysis, logic, and programming languages. Active research projects aim to make program analysis compositional and robust.
Miscellany
- Erdős number is 3; Links: GitHub, DBLP, Google Scholar; Some work implemented in the Duet program analyzer; Students include Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare; Graduated students: Shaowei Zhu (PhD 2024, Researcher at Amazon) and Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison)
