Fingerprint
Dive into the research topics where Zachary Kincaid is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 2 Finished
-
CAREER: Foundations for Usable Program Analysis
Kincaid, Z. (PI)
NSF - National Science Foundation
6/1/20 → 5/31/25
Project: Research project
-
Algebraic Program-Analysis Techniques for Invariant Synthesis
Kincaid, Z. (PI)
4/15/19 → 4/14/22
Project: Research project
-
Context-Free-Language Reachability for Almost-Commuting Transition Systems
Pimpalkhare, N., Kincaid, Z. & Reps, T., Jan 8 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1270-1295 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Network Change Validation with Relational NetKAT
Xu, H., Kincaid, Z., Mahajan, R. & Walker, D. P., Jan 8 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 384-412 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
The Beauty of Predicate Automata
Farzan, A. & Kincaid, Z., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 54-74 21 p. (Lecture Notes in Computer Science; vol. 14765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Software Model Checking via Summary-Guided Search
Fang, R., Kincaid, Z. & Reps, T., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 2568-2595 28 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
Zhu, S. & Kincaid, Z., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 431-452 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14681 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access2 Link opens in a new tab Scopus citations