Zachary Kincaid

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

Research activity per year

Filter
Conference contribution

Search results

  • 2024

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

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

    Open Access
  • 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 proceedingConference 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 proceedingConference contribution

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

    Open Access
    2 Scopus citations
  • 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

    Open Access
    12 Scopus citations
  • 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

    Open Access
    17 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
    15 Scopus citations
  • 2018

    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

    3 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, 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

    Open Access
    32 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. Kaivola, R. & Wahl, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 57-64 8 p. 7542253. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

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

    51 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

    Open Access
    27 Scopus citations
  • 2015

    Automated program verification

    Farzan, A., Heizmann, M., Hoenicke, J., Kincaid, Z. & Podelski, A., 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Dediu, A.-H., Martín-Vide, C., Formenti, E. & Truthe, B. (eds.). 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 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

    Open Access
    20 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

    Open Access
    13 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

    Open Access
    3 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

    23 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

    Open Access
    62 Scopus citations
  • 2013

    DUET: Static analysis for unbounded parallelism

    Farzan, A. & Kincaid, Z., 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

    Open Access
    7 Scopus citations
  • Inductive data flow graphs

    Farzan, A., Kincaid, Z. & Podelski, A., 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

    Open Access
    36 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

    Open Access
    100 Scopus citations
  • 2012

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

    Farzan, A. & Kincaid, Z., 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

    23 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

    Open Access
    9 Scopus citations
  • 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

    6 Scopus citations