| Recursive program synthesis A Albarghouthi, S Gulwani, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 204 | 2013 |
| Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 169 | 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 | 111 | 2017 |
| Compositional recurrence analysis revisited Z Kincaid, J Breck, AF Boroujeni, T Reps ACM SIGPLAN Notices 52 (6), 248-262, 2017 | 90 | 2017 |
| Compositional recurrence analysis A Farzan, Z Kincaid 2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015 | 75 | 2015 |
| Inductive data flow graphs A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 48 (1), 129-142, 2013 | 70 | 2013 |
| Verification of parameterized concurrent programs by modular reasoning about data and control A Farzan, Z Kincaid ACM SIGPLAN Notices 47 (1), 297-308, 2012 | 57 | 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 | 48 | 2019 |
| Proofs that count A Farzan, Z Kincaid, A Podelski Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 42 | 2014 |
| Proof spaces for unbounded parallelism A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 50 (1), 407-420, 2015 | 41 | 2015 |
| Strategy synthesis for linear arithmetic games A Farzan, Z Kincaid Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 39 | 2017 |
| Proving liveness of parameterized programs A Farzan, Z Kincaid, A Podelski Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 38 | 2016 |
| Templates and recurrences: better together J Breck, J Cyphert, Z Kincaid, T Reps Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 32 | 2020 |
| Spatial interpolants A Albargouthi, J Berdine, B Cook, Z Kincaid Programming Languages and Systems: 24th European Symposium on Programming …, 2015 | 28 | 2015 |
| 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 | 26 | 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 | 23 | 2018 |
| Loop summarization with rational vector addition systems J Silverman, Z Kincaid International Conference on Computer Aided Verification, 97-115, 2019 | 22 | 2019 |
| 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 |
| Termination analysis without the tears S Zhu, Z Kincaid Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 18 | 2021 |
| Compositional bitvector analysis for concurrent programs with nested locks A Farzan, Z Kincaid International Static Analysis Symposium, 253-270, 2010 | 15 | 2010 |
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
