Zachary Kincaid

Available identifiers

Publication	Date of Publication	Type
Loop summarization with rational vector addition systems	2024-02-16	Paper
Numerical invariants via abstract machines	2023-05-26	Paper
A symbolic decision procedure for symbolic alternating finite automata	2022-04-25	Paper
Algebraic program analysis	2022-03-25	Paper
Reflections on termination of linear loops	2022-03-25	Paper
A practical algorithm for structure embedding	2020-01-23	Paper
Proving liveness of parameterized programs	2018-04-23	Paper
Proof spaces for unbounded parallelism	2016-09-29	Paper
Spatial interpolants	2016-04-26	Paper
Automated program verification	2016-04-08	Paper
Verification of parameterized concurrent programs by modular reasoning about data and control	2015-09-11	Paper
Inductive data flow graphs	2014-11-27	Paper
Consistency analysis of decision-making programs	2014-04-10	Paper
Symbolic optimization with SMT solvers	2014-04-10	Paper
Proofs that count	2014-04-10	Paper
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks	2010-10-01	Paper
Duplication in DNA Sequences	2008-10-30	Paper

This page was built for person: Zachary Kincaid