Zachary Kincaid

According to our database, Zachary Kincaid authored at least 37 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis.

John Cyphert, Zachary Kincaid

Proc. ACM Program. Lang., January, 2024

Relational Network Verification.

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai

CoRR, 2024

2023

When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.

Zachary Kincaid, Nicolas Koh, Shaowei Zhu

Proc. ACM Program. Lang., January, 2023

Optimal Symbolic Bound Synthesis.

John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps

CoRR, 2023

2021

Termination analysis without the tears.

Shaowei Zhu, Zachary Kincaid

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Reflections on Termination of Linear Loops.

Shaowei Zhu, Zachary Kincaid

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Algebraic Program Analysis.

Zachary Kincaid, Thomas W. Reps, John Cyphert

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Templates and recurrences: better together.

Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Closed forms for numerical loops.

Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps

Proc. ACM Program. Lang., 2019

Refinement of path expressions for static analysis.

John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps

Proc. ACM Program. Lang., 2019

Loop Summarization with Rational Vector Addition Systems (extended version).

Jake Silverman, Zachary Kincaid

CoRR, 2019

A Practical Algorithm for Structure Embedding.

Charlie Murphy, Zachary Kincaid

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Loop Summarization with Rational Vector Addition Systems.

Jake Silverman, Zachary Kincaid

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Non-linear reasoning for invariant synthesis.

Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps

Proc. ACM Program. Lang., 2018

Strategy synthesis for linear arithmetic games.

Azadeh Farzan, Zachary Kincaid

Proc. ACM Program. Lang., 2018

A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.

Loris D'Antoni, Zachary Kincaid, Fang Wang

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Numerical Invariants via Abstract Machines.

Zachary Kincaid

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Parallel Proofs for Parallel Programs.

Zachary Kincaid

PhD thesis, 2017

Compositional recurrence analysis revisited.

Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk).

Azadeh Farzan, Zachary Kincaid

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Proving Liveness of Parameterized Programs.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Linear Arithmetic Satisfiability via Strategy Improvement.

Azadeh Farzan, Zachary Kincaid

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Compositional Invariant Generation via Linear Recurrence Analysis.

Azadeh Farzan, Zachary Kincaid

CoRR, 2015

Proof Spaces for Unbounded Parallelism.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Automated Program Verification.

Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski

Proceedings of the Language and Automata Theory and Applications, 2015

Compositional Recurrence Analysis.

Azadeh Farzan, Zachary Kincaid

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Spatial Interpolants.

Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid

Proceedings of the Programming Languages and Systems, 2015

2014

Symbolic optimization with SMT solvers.

Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Proofs that count.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Consistency analysis of decision-making programs.

Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

An Algebraic Framework for Compositional Program Analysis.

Azadeh Farzan, Zachary Kincaid

CoRR, 2013

Inductive data flow graphs.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Duet: Static Analysis for Unbounded Parallelism.

Azadeh Farzan, Zachary Kincaid

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Recursive Program Synthesis.

Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

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

Azadeh Farzan, Zachary Kincaid

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Compositional Bitvector Analysis for Concurrent Programs with Nested Locks.

Azadeh Farzan, Zachary Kincaid

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Duplication in DNA Sequences.

Masami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki

Proceedings of the Algorithmic Bioprocesses, 2009