Zachary Kincaid

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20082021

Research activity per year

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

Search results

  • 2021

    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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

  • 2020

    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 proceedingConference contribution

    4 Scopus citations
  • 2019

    A practical algorithm for structure embedding

    Murphy, C. & Kincaid, Z., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer Verlag, p. 342-362 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Loop summarization with rational vector addition systems

    Silverman, J. & Kincaid, Z., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-115 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11562 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    4 Scopus citations
  • 2018

    A Symbolic Decision Procedure for Symbolic Alternating Finite Automata

    D'Antoni, L., Kincaid, Z. & Wang, F., Apr 16 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 79-99 21 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • Numerical Invariants via Abstract Machines

    Kincaid, Z., 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 24-42 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • 2017

    A new notion of compositionality for concurrent program proofs

    Farzan, A. & Kincaid, Z., Aug 1 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Meyer, R. & Nestmann, U. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Compositional recurrence analysis revisited

    Kincaid, Z., Breck, J., Boroujeni, A. F. & Reps, T., Jun 14 2017, In: ACM SIGPLAN Notices. 52, 6, p. 248-262 15 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    6 Scopus citations
  • Compositional recurrence analysis revisited

    Kincaid, Z., Breck, J., Boroujeni, A. F. & Reps, T., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 248-262 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • 2016

    Compositional recurrence analysis

    Farzan, A. & Kincaid, Z., Aug 11 2016, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015. Institute of Electrical and Electronics Engineers Inc., p. 57-64 8 p. 7542253

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    23 Scopus citations
  • Linear arithmetic satisfiability via strategy improvement

    Farzan, A. & Kincaid, Z., Jan 1 2016, In: IJCAI International Joint Conference on Artificial Intelligence. 2016-January, p. 735-743 9 p.

    Research output: Contribution to journalConference articlepeer-review

    7 Scopus citations
  • Proving Liveness of Parameterized Programs

    Farzan, A., Kincaid, Z. & Podelski, A., Jul 5 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers Inc., p. 185-196 12 p. (Proceedings - Symposium on Logic in Computer Science; vol. 05-08-July-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Scopus citations
  • 2015

    Automated program verification

    Farzan, A., Heizmann, M., Hoenicke, J., Kincaid, Z. & Podelski, A., Jan 1 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Springer Verlag, p. 25-46 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • Proof spaces for unbounded parallelism

    Farzan, A., Kincaid, Z. & Podelski, A., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 407-420 14 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Proof spaces for unbounded parallelism

    Farzan, A., Kincaid, Z. & Podelski, A., Jan 14 2015, POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 407-420 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • Spatial interpolants

    Albargouthi, A., Berdine, J., Cook, B. & Kincaid, Z., 2015, Programming Languages and Systems - 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Springer Verlag, p. 634-660 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9032).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • 2014

    Consistency analysis of decision-making programs

    Chaudhuri, S., Farzan, A. & Kincaid, Z., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 555-567 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Consistency analysis of decision-making programs

    Chaudhuri, S., Farzan, A. & Kincaid, Z., Jan 13 2014, In: ACM SIGPLAN Notices. 49, 1, p. 555-567 13 p.

    Research output: Contribution to journalArticlepeer-review

    3 Scopus citations
  • Proofs that count

    Farzan, A., Kincaid, Z. & Podelski, A., Jan 13 2014, In: ACM SIGPLAN Notices. 49, 1, p. 151-164 14 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Proofs that count

    Farzan, A., Kincaid, Z. & Podelski, A., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 151-164 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    16 Scopus citations
  • Symbolic optimization with SMT solvers

    Li, Y., Albarghouthi, A., Kincaid, Z., Gurfinkel, A. & Chechik, M., Jan 13 2014, In: ACM SIGPLAN Notices. 49, 1, p. 607-618 12 p.

    Research output: Contribution to journalArticlepeer-review

    26 Scopus citations
  • Symbolic optimization with SMT solvers

    Li, Y., Albarghouthi, A., Kincaid, Z., Gurfinkel, A. & Chechik, M., 2014, POPL 2014 - Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 607-618 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    56 Scopus citations
  • 2013

    DUET: Static analysis for unbounded parallelism

    Farzan, A. & Kincaid, Z., Aug 12 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 191-196 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Inductive data flow graphs

    Farzan, A., Kincaid, Z. & Podelski, A., Feb 26 2013, POPL 2013 - Proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 129-142 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    36 Scopus citations
  • Inductive data flow graphs

    Farzan, A., Kincaid, Z. & Podelski, A., Jan 1 2013, In: ACM SIGPLAN Notices. 48, 1, p. 129-142 14 p.

    Research output: Contribution to journalArticlepeer-review

    6 Scopus citations
  • Recursive program synthesis

    Albarghouthi, A., Gulwani, S. & Kincaid, Z., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 934-950 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    63 Scopus citations
  • 2012

    Verification of parameterized concurrent programs by modular reasoning about data and control

    Farzan, A. & Kincaid, Z., Jan 1 2012, In: ACM SIGPLAN Notices. 47, 1, p. 297-308 12 p.

    Research output: Contribution to journalArticlepeer-review

    10 Scopus citations
  • Verification of parameterized concurrent programs by modular reasoning about data and control

    Farzan, A. & Kincaid, Z., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 297-308 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • 2010

    Compositional bitvector analysis for concurrent programs with nested locks

    Farzan, A. & Kincaid, Z., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. p. 253-270 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • 2009

    Duplication in DNA sequences

    Ito, M., Kari, L., Kincaid, Z. & Seki, S., Jan 1 2009, In: Natural Computing Series. 9783540888680, p. 43-61 19 p.

    Research output: Contribution to journalArticlepeer-review

  • 2008

    Duplication in DNA sequences

    Ito, M., Kari, L., Kincaid, Z. & Seki, S., 2008, Developments in Language Theory - 12th International Conference, DLT 2008, Proceedings. p. 419-430 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5257 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations