Obserwuj
Zachary Kincaid
Tytuł
Cytowane przez
Cytowane przez
Rok
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1892013
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1642014
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
962017
Compositional recurrence analysis revisited
Z Kincaid, J Breck, AF Boroujeni, T Reps
ACM SIGPLAN Notices 52 (6), 248-262, 2017
822017
Inductive data flow graphs
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 48 (1), 129-142, 2013
702013
Compositional recurrence analysis
A Farzan, Z Kincaid
2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015
642015
Verification of parameterized concurrent programs by modular reasoning about data and control
A Farzan, Z Kincaid
ACM SIGPLAN Notices 47 (1), 297-308, 2012
562012
Proof spaces for unbounded parallelism
A Farzan, Z Kincaid, A Podelski
ACM SIGPLAN Notices 50 (1), 407-420, 2015
412015
Proofs that count
A Farzan, Z Kincaid, A Podelski
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
402014
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
392019
Proving liveness of parameterized programs
A Farzan, Z Kincaid, A Podelski
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
372016
Strategy synthesis for linear arithmetic games
A Farzan, Z Kincaid
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
292017
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
272015
Templates and recurrences: better together
J Breck, J Cyphert, Z Kincaid, T Reps
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
232020
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
222018
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
212019
Automated program verification
A Farzan, M Heizmann, J Hoenicke, Z Kincaid, A Podelski
Language and Automata Theory and Applications: 9th International Conference …, 2015
212015
Loop summarization with rational vector addition systems
J Silverman, Z Kincaid
International Conference on Computer Aided Verification, 97-115, 2019
162019
Compositional bitvector analysis for concurrent programs with nested locks
A Farzan, Z Kincaid
International Static Analysis Symposium, 253-270, 2010
152010
Duet: Static Analysis for Unbounded Parallelism
A Farzan, Z Kincaid
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
142013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20