Zachary Kincaid Zak Kincaid

I'm an associate professor at Princeton University.
Email: zkincaid@cs.princeton.edu
Office: 194 Nassau St, Room 230 (Second floor)
Address: 194 Nassau Street, Princeton, NJ 08540

research

My main research interests are in program analysis, logic, and programming languages. I have active research projects that aim to make program analysis compositional and robust.

See full list of publications; some recent ones are

recent publications

  • Nikhil Pimpalkhare, Zachary Kincaid: Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials. OOPSLA 2024. PDF

  • Charlie Murphy, Zachary Kincaid: Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. CAV 2024. PDF

  • Shaowei Zhu, Zachary Kincaid: Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. CAV 2024. PDF

  • Nikhil Pimpalkhare, Zachary Kincaid: Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability. RP 2024. PDF

  • Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai: Relational Network Verification. SIGCOMM 2024. PDF

students

current

graduated

teaching

etc