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
NSF - National Science Foundation
6/1/20 → 5/31/25
Project: Research project
-
Algebraic Program-Analysis Techniques for Invariant Synthesis
4/15/19 → 4/14/22
Project: Research project
-
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
Cyphert, J. & Kincaid, Z., Jan 5 2024, In: Proceedings of the ACM on Programming Languages. 8, p. 724-752 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Kincaid, Z., Koh, N. & Zhu, S., Jan 9 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 1275-1307 33 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Algebraic Program Analysis
Kincaid, Z., Reps, T. & Cyphert, J., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 46-83 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Reflections on Termination of Linear Loops
Zhu, S. & Kincaid, Z., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 51-74 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Termination analysis without the tears
Zhu, S. & Kincaid, Z., Jun 18 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 1296-1311 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access