Recursive program synthesis A Albarghouthi, S Gulwani, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 200 | 2013 |
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 165 | 2014 |
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 | 102 | 2017 |
Compositional recurrence analysis revisited Z Kincaid, J Breck, AF Boroujeni, T Reps ACM SIGPLAN Notices 52 (6), 248-262, 2017 | 86 | 2017 |
Inductive data flow graphs A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 48 (1), 129-142, 2013 | 70 | 2013 |
Compositional recurrence analysis A Farzan, Z Kincaid 2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015 | 68 | 2015 |
Verification of parameterized concurrent programs by modular reasoning about data and control A Farzan, Z Kincaid ACM SIGPLAN Notices 47 (1), 297-308, 2012 | 56 | 2012 |
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 | 42 | 2019 |
Proofs that count A Farzan, Z Kincaid, A Podelski Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 41 | 2014 |
Proof spaces for unbounded parallelism A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 50 (1), 407-420, 2015 | 40 | 2015 |
Proving liveness of parameterized programs A Farzan, Z Kincaid, A Podelski Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 37 | 2016 |
Strategy synthesis for linear arithmetic games A Farzan, Z Kincaid Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 34 | 2017 |
Spatial interpolants A Albargouthi, J Berdine, B Cook, Z Kincaid Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 27 | 2015 |
Templates and recurrences: better together J Breck, J Cyphert, Z Kincaid, T Reps Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 25 | 2020 |
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 | 21 | 2019 |
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 | 21 | 2018 |
Automated program verification A Farzan, M Heizmann, J Hoenicke, Z Kincaid, A Podelski Language and Automata Theory and Applications: 9th International Conference …, 2015 | 21 | 2015 |
Loop summarization with rational vector addition systems J Silverman, Z Kincaid International Conference on Computer Aided Verification, 97-115, 2019 | 17 | 2019 |
Compositional bitvector analysis for concurrent programs with nested locks A Farzan, Z Kincaid International Static Analysis Symposium, 253-270, 2010 | 15 | 2010 |
Duet: Static Analysis for Unbounded Parallelism A Farzan, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 14 | 2013 |