Follow
Zachary Kincaid
Title
Cited by
Cited by
Year
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
International conference on computer aided verification, 934-950, 2013
1442013
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1422014
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
682013
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
672017
Compositional recurrence analysis revisited
Z Kincaid, J Breck, AF Boroujeni, T Reps
ACM SIGPLAN Notices 52 (6), 248-262, 2017
612017
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
552012
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
482015
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
392015
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
382014
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
292019
Proving liveness of parameterized programs
A Farzan, Z Kincaid, A Podelski
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2016
272016
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
European Symposium on Programming Languages and Systems, 634-660, 2015
252015
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
202017
Automated program verification
A Farzan, M Heizmann, J Hoenicke, Z Kincaid, A Podelski
International Conference on Language and Automata Theory and Applications, 25-46, 2015
182015
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
162018
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
152019
Compositional bitvector analysis for concurrent programs with nested locks
A Farzan, Z Kincaid
International Static Analysis Symposium, 253-270, 2010
152010
Templates and recurrences: better together
J Breck, J Cyphert, Z Kincaid, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
142020
Duet: Static Analysis for Unbounded Parallelism
A Farzan, Z Kincaid
International Conference on Computer Aided Verification, 191-196, 2013
132013
Linear arithmetic satisfiability via strategy improvement
A Farzan, Z Kincaid
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20