Zachary Kincaid

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