Zachary Kincaid
TitleCited byYear
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1062014
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
International conference on computer aided verification, 934-950, 2013
982013
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
592013
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
472012
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
322015
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
302014
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
282015
Compositional recurrence analysis revisited
Z Kincaid, J Breck, AF Boroujeni, T Reps
ACM SIGPLAN Notices 52 (6), 248-262, 2017
232017
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
212017
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
European Symposium on Programming Languages and Systems, 634-660, 2015
212015
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
202016
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
152015
Compositional bitvector analysis for concurrent programs with nested locks
A Farzan, Z Kincaid
International Static Analysis Symposium, 253-270, 2010
112010
Consistency analysis of decision-making programs
S Chaudhuri, A Farzan, Z Kincaid
ACM SIGPLAN Notices 49 (1), 555-567, 2014
92014
Duet: Static Analysis for Unbounded Parallelism
A Farzan, Z Kincaid
International Conference on Computer Aided Verification, 191-196, 2013
92013
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
72018
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
62017
Linear Arithmetic Satisfiability via Strategy Improvement.
A Farzan, Z Kincaid
IJCAI, 735-743, 2016
62016
Duplication in DNA sequences
M Ito, L Kari, Z Kincaid, S Seki
Algorithmic Bioprocesses, 43-61, 2009
42009
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
32019
The system can't perform the operation now. Try again later.
Articles 1–20