Projects per year
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
-
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
-
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 Access -
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
Pimpalkhare, N. & Kincaid, Z., Oct 8 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 337.Research output: Contribution to journal › Article › peer-review
Open Access -
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement
Murphy, C. & 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. 89-109 21 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 Scopus citations -
Relational Network Verification
Xu, X., Yuan, Y., Kincaid, Z., Krishnamurthy, A., Mahajan, R., Walker, D. P. & Zhai, E., Aug 4 2024, ACM SIGCOMM 2024 - Proceedings of the 2024 ACM SIGCOMM 2024 Conference. Association for Computing Machinery, Inc, p. 213-227 15 p. (ACM SIGCOMM 2024 - Proceedings of the 2024 ACM SIGCOMM 2024 Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability
Pimpalkhare, N. & Kincaid, Z., 2024, Reachability Problems - 18th International Conference, RP 2024, Proceedings. Kovács, L. & Sokolova, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 154-166 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15050 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution