Zachary Kincaid
Title
Cited by
Cited by
Year
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1242014
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
International conference on computer aided verification, 934-950, 2013
1102013
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
622013
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
492012
Compositional recurrence analysis revisited
Z Kincaid, J Breck, AF Boroujeni, T Reps
ACM SIGPLAN Notices 52 (6), 248-262, 2017
362017
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
352017
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
332015
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
322015
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
312014
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
European Symposium on Programming Languages and Systems, 634-660, 2015
232015
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
212016
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
Duet: Static Analysis for Unbounded Parallelism
A Farzan, Z Kincaid
International Conference on Computer Aided Verification, 191-196, 2013
122013
Compositional bitvector analysis for concurrent programs with nested locks
A Farzan, Z Kincaid
International Static Analysis Symposium, 253-270, 2010
122010
Consistency analysis of decision-making programs
S Chaudhuri, A Farzan, Z Kincaid
ACM SIGPLAN Notices 49 (1), 555-567, 2014
102014
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
82018
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
82017
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
72019
Linear Arithmetic Satisfiability via Strategy Improvement.
A Farzan, Z Kincaid
IJCAI, 735-743, 2016
72016
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
62019
The system can't perform the operation now. Try again later.
Articles 1–20