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 | teaching | students | etc

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 below.

recent publications

  • Han Xu, Zachary Kincaid, Ratul Mahajan, and David Walker. Network Change Validation with Relational NetKAT. In Principles of Programming Languages (POPL), 2026. PDF

  • Nikhil Pimpalkhare, Zachary Kincaid and Thomas Reps. Context-Free-Language Reachability for Almost-Commuting Transition Systems. In Principles of Programming Languages (POPL), 2026. PDF

  • Ruijie Fang, Zachary Kincaid, and Thomas Reps. Software Model Checking via Summary-Guided Search. In Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2025. PDF

  • 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