Follow
Zachary Kincaid
Title
Cited by
Cited by
Year
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2132013
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1702014
Non-linear reasoning for invariant synthesis
Z Kincaid, J Cyphert, J Breck, T Reps
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
1162017
Compositional recurrence analysis revisited
Z Kincaid, J Breck, AF Boroujeni, T Reps
ACM SIGPLAN Notices 52 (6), 248-262, 2017
912017
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
772015
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
712013
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
572012
Closed forms for numerical loops
Z Kincaid, J Breck, J Cyphert, T Reps
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
482019
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
432017
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
432014
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
412015
Proving liveness of parameterized programs
A Farzan, Z Kincaid, A Podelski
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
382016
Templates and recurrences: better together
J Breck, J Cyphert, Z Kincaid, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
352020
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
282015
Refinement of path expressions for static analysis
J Cyphert, J Breck, Z Kincaid, T Reps
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
262019
A symbolic decision procedure for symbolic alternating finite automata
L D'Antoni, Z Kincaid, F Wang
Electronic Notes in Theoretical Computer Science 336, 79-99, 2018
242018
Loop summarization with rational vector addition systems
J Silverman, Z Kincaid
International Conference on Computer Aided Verification, 97-115, 2019
222019
Automated program verification
A Farzan, M Heizmann, J Hoenicke, Z Kincaid, A Podelski
Language and Automata Theory and Applications: 9th International Conference …, 2015
212015
Termination analysis without the tears
S Zhu, Z Kincaid
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
182021
Compositional bitvector analysis for concurrent programs with nested locks
A Farzan, Z Kincaid
International Static Analysis Symposium, 253-270, 2010
152010
The system can't perform the operation now. Try again later.
Articles 1–20