Zachary Kincaid

Identifiers

• name variant Zachary Kincaid 0.60 · backfill

Papers (7)

1. A Categorical Basis for Robust Program Analysis cs.PL · 2026 · author #1
2. Loop Summarization with Rational Vector Addition Systems (extended version) cs.PL · 2019 · author #2
3. A Symbolic Decision Procedure for Symbolic Alternating Finite Automata cs.FL · 2016 · author #2
4. Proving Liveness of Parameterized Programs cs.LO · 2016 · author #2
5. Compositional Invariant Generation via Linear Recurrence Analysis cs.PL · 2015 · author #2
6. Spatial Interpolants cs.LO · 2015 · author #4
7. An Algebraic Framework for Compositional Program Analysis cs.PL · 2013 · author #2

Mentions

• 1502.00138 #2 · backfill · confidence 0.70 Zachary Kincaid
• 1501.04100 #4 · backfill · confidence 0.70 Zachary Kincaid
• 1310.3481 #2 · backfill · confidence 0.70 Zachary Kincaid

Frequent Coauthors

• Azadeh Farzan 3 shared papers
• Andreas Podelski 1 shared papers
• Aws Albarghouthi 1 shared papers
• Byron Cook 1 shared papers
• Fang Wang 1 shared papers
• Jake Silverman 1 shared papers
• Josh Berdine 1 shared papers
• Loris D'Antoni 1 shared papers
• Shaowei Zhu 1 shared papers