Zachary Kincaid

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 37

Top Topics

Termination Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. SIGCOMM (2024)
John Cyphert, Zachary Kincaid
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. CoRR (2024)
Charlie Murphy, Zachary Kincaid
Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement. CAV (1) (2024)
Shaowei Zhu, Zachary Kincaid
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. CAV (1) (2024)
John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps
Optimal Symbolic Bound Synthesis. CoRR (2023)
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. Proc. ACM Program. Lang. 7 (POPL) (2023)
John Cyphert, Zachary Kincaid
Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. CoRR (2023)
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. CoRR (2022)
Shaowei Zhu, Zachary Kincaid
Termination analysis without the tears. PLDI (2021)
Shaowei Zhu, Zachary Kincaid
Reflections on Termination of Linear Loops. CAV (2) (2021)
Zachary Kincaid, Thomas W. Reps, John Cyphert
Algebraic Program Analysis. CAV (1) (2021)
Shaowei Zhu, Zachary Kincaid
Reflections on Termination of Linear Loops. CoRR (2021)
Shaowei Zhu, Zachary Kincaid
Termination Analysis Without the Tears. CoRR (2021)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and Recurrences: Better Together. CoRR (2020)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and recurrences: better together. PLDI (2020)
Jake Silverman, Zachary Kincaid
Loop Summarization with Rational Vector Addition Systems (extended version). CoRR (2019)
John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps
Refinement of path expressions for static analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jake Silverman, Zachary Kincaid
Loop Summarization with Rational Vector Addition Systems. CAV (2) (2019)
Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps
Closed forms for numerical loops. Proc. ACM Program. Lang. 3 (POPL) (2019)
Charlie Murphy, Zachary Kincaid
A Practical Algorithm for Structure Embedding. VMCAI (2019)
Loris D'Antoni, Zachary Kincaid, Fang Wang
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. MFPS (2018)
Zachary Kincaid
Numerical Invariants via Abstract Machines. SAS (2018)
Azadeh Farzan, Zachary Kincaid
Strategy synthesis for linear arithmetic games. Proc. ACM Program. Lang. 2 (POPL) (2018)
Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps
Non-linear reasoning for invariant synthesis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Azadeh Farzan, Zachary Kincaid
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk). CONCUR (2017)
Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps
Compositional recurrence analysis revisited. PLDI (2017)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proving Liveness of Parameterized Programs. CoRR (2016)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proving Liveness of Parameterized Programs. LICS (2016)
Loris D'Antoni, Zachary Kincaid, Fang Wang
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. CoRR (2016)
Azadeh Farzan, Zachary Kincaid
Linear Arithmetic Satisfiability via Strategy Improvement. IJCAI (2016)
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
Spatial Interpolants. CoRR (2015)
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
Spatial Interpolants. ESOP (2015)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proof Spaces for Unbounded Parallelism. POPL (2015)
Azadeh Farzan, Zachary Kincaid
Compositional Recurrence Analysis. FMCAD (2015)
Azadeh Farzan, Zachary Kincaid
Compositional Invariant Generation via Linear Recurrence Analysis. CoRR (2015)
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
Automated Program Verification. LATA (2015)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proofs that count. POPL (2014)
Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
Consistency analysis of decision-making programs. POPL (2014)
Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
Symbolic optimization with SMT solvers. POPL (2014)
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
Recursive Program Synthesis. CAV (2013)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Inductive data flow graphs. POPL (2013)
Azadeh Farzan, Zachary Kincaid
Duet: Static Analysis for Unbounded Parallelism. CAV (2013)
Azadeh Farzan, Zachary Kincaid
An Algebraic Framework for Compositional Program Analysis. CoRR (2013)
Azadeh Farzan, Zachary Kincaid
Verification of parameterized concurrent programs by modular reasoning about data and control. POPL (2012)
Azadeh Farzan, Zachary Kincaid
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. SAS (2010)
Masami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki
Duplication in DNA Sequences. Algorithmic Bioprocesses (2009)
Masami Ito, Lila Kari, Zachary Kincaid, Shinnosuke Seki
Duplication in DNA Sequences. Developments in Language Theory (2008)