Zachary Kincaid

View Scopus Profile

Zachary Kincaid

Calculated based on number of publications stored in Pure and citations from Scopus
20082023

Research activity per year

If you made any changes in Pure these will be visible here soon.

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
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 23 Conference contribution
  • 14 Article
  • 1 Conference article

  • 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
    1 Scopus citations

  • 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
    3 Scopus citations

  • Templates and recurrences: Better together

    Breck, J., Cyphert, J., Kincaid, Z. & Reps, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 688-702 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations
View all 38 Research outputs