Browsing by Author Kincaid, Zachary
Showing results 1 to 9 of 9
| Publication Date | Article Title | Author(s) |
|---|---|---|
| - | Algebraic Program Analysis | Kincaid, Zachary; Reps, Thomas; Cyphert, John |
| Jun-2017 | Compositional recurrence analysis revisited | Kincaid, Zachary; Breck, Jason; Boroujeni, Ashkan F; Reps, Thomas |
| Jul-2016 | Linear Arithmetic Satisfiability Via Strategy Improvement | Farzan, Azadeh; Kincaid, Zachary |
| 2019 | Loop Summarization with Rational Vector Addition Systems | Silverman, Jake; Kincaid, Zachary |
| 2017 | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk) | Farzan, Azadeh; Kincaid, Zachary |
| Aug-2018 | Numerical Invariants via Abstract Machines | Kincaid, Zachary |
| 2019 | A Practical Algorithm for Structure Embedding | Murphy, Charlie; Kincaid, Zachary |
| 16-Apr-2018 | A Symbolic Decision Procedure for Symbolic Alternating Finite Automata | D'Antoni, Loris; Kincaid, Zachary; Wang, Fang |
| Jun-2020 | Templates and Recurrences: Better Together | Breck, Jason; Cyphert, John; Kincaid, Zachary; Reps, Thomas |