Duplication in DNA Sequences. - Masami Ito; Lila Kari; Zachary Kincaid; Shinnosuke Seki 001 (Algorithmic Bioprocesses, 2009)

Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. - Azadeh Farzan; Zachary Kincaid (SAS, 2010)

Verification of parameterized concurrent programs by modular reasoning about data and control. - Azadeh Farzan; Zachary Kincaid (POPL, 2012)

Recursive Program Synthesis. - Aws Albarghouthi; Sumit Gulwani; Zachary Kincaid (CAV, 2013)

Duet: Static Analysis for Unbounded Parallelism. - Azadeh Farzan; Zachary Kincaid (CAV, 2013)

Inductive data flow graphs. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2013)

An Algebraic Framework for Compositional Program Analysis. - Azadeh Farzan; Zachary Kincaid (CoRR, 2013)

Consistency analysis of decision-making programs. - Swarat Chaudhuri; Azadeh Farzan; Zachary Kincaid (POPL, 2014)

Proofs that count. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2014)

Symbolic optimization with SMT solvers. - Yi Li 008; Aws Albarghouthi; Zachary Kincaid; Arie Gurfinkel; Marsha Chechik (POPL, 2014)

Spatial Interpolants. - Aws Albarghouthi; Josh Berdine; Byron Cook; Zachary Kincaid (ESOP, 2015)

Compositional Recurrence Analysis. - Azadeh Farzan; Zachary Kincaid (FMCAD, 2015)

Automated Program Verification. - Azadeh Farzan; Matthias Heizmann; Jochen Hoenicke; Zachary Kincaid; Andreas Podelski (LATA, 2015)

Proof Spaces for Unbounded Parallelism. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2015)

Compositional Invariant Generation via Linear Recurrence Analysis. - Azadeh Farzan; Zachary Kincaid (CoRR, 2015)

Linear Arithmetic Satisfiability via Strategy Improvement. - Azadeh Farzan; Zachary Kincaid (IJCAI, 2016)

Proving Liveness of Parameterized Programs. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (LICS, 2016)

A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). - Azadeh Farzan; Zachary Kincaid (CONCUR, 2017)

Compositional recurrence analysis revisited. - Zachary Kincaid; Jason Breck; Ashkan Forouhi Boroujeni; Thomas W. Reps (PLDI, 2017)

Parallel Proofs for Parallel Programs. - Zachary Kincaid (2017)

Numerical Invariants via Abstract Machines. - Zachary Kincaid (SAS, 2018)

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. - Loris D'Antoni; Zachary Kincaid; Fang Wang (MFPS, 2018)

Strategy synthesis for linear arithmetic games. - Azadeh Farzan; Zachary Kincaid (Proc. ACM Program. Lang., 2018)

Non-linear reasoning for invariant synthesis. - Zachary Kincaid; John Cyphert; Jason Breck; Thomas W. Reps (Proc. ACM Program. Lang., 2018)

Loop Summarization with Rational Vector Addition Systems. - Jake Silverman; Zachary Kincaid (CAV (2), 2019)

A Practical Algorithm for Structure Embedding. - Charlie Murphy; Zachary Kincaid (VMCAI, 2019)

Loop Summarization with Rational Vector Addition Systems (extended version). - Jake Silverman; Zachary Kincaid (CoRR, 2019)

Refinement of path expressions for static analysis. - John Cyphert; Jason Breck; Zachary Kincaid; Thomas W. Reps (Proc. ACM Program. Lang., 2019)

Closed forms for numerical loops. - Zachary Kincaid; Jason Breck; John Cyphert; Thomas W. Reps (Proc. ACM Program. Lang., 2019)

Templates and recurrences: better together. - Jason Breck; John Cyphert; Zachary Kincaid; Thomas W. Reps (PLDI, 2020)

Algebraic Program Analysis. - Zachary Kincaid; Thomas W. Reps; John Cyphert (CAV (1), 2021)

Reflections on Termination of Linear Loops. - Shaowei Zhu 001; Zachary Kincaid (CAV (2), 2021)

Termination analysis without the tears. - Shaowei Zhu 001; Zachary Kincaid (PLDI, 2021)

Optimal Symbolic Bound Synthesis. - John Cyphert; Yotam Feldman; Zachary Kincaid; Thomas W. Reps (CoRR, 2023)

When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. - Zachary Kincaid; Nicolas Koh; Shaowei Zhu 001 (Proc. ACM Program. Lang., 2023)

Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. - Charlie Murphy; Zachary Kincaid (CAV (1), 2024)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. - Shaowei Zhu 001; Zachary Kincaid (CAV (1), 2024)

Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability. - Nikhil Pimpalkhare; Zachary Kincaid (RP, 2024)

Relational Network Verification. - Xieyang Xu; Yifei Yuan 001; Zachary Kincaid; Arvind Krishnamurthy; Ratul Mahajan; David Walker 001; Ennan Zhai (SIGCOMM, 2024)

Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials. - Nikhil Pimpalkhare; Zachary Kincaid (Proc. ACM Program. Lang., 2024)

Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. - John Cyphert; Zachary Kincaid (Proc. ACM Program. Lang., 2024)