Scholar
Zachary Kincaid
Google Scholar ID: uT9We9MAAAAJ
Princeton University
Program Analysis
Programming Languages
Software Verification
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,449
H-index
19
i10-index
27
Publications
20
Co-authors
13
list available
Publications
4 items
Network Analysis with Parametric NetKAT
2026
Cited
0
Kleene Algebra with Transitive Commutativity Conditions
2026
Cited
0
A Categorical Basis for Robust Program Analysis
2026
Cited
0
Software Model Checking via Summary-Guided Search (Extended Version)
2025
Cited
0
Co-authors
11 total
Azadeh Farzan
Associate Professor, University of Toronto
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Aws Albarghouthi
University of Wisconsin–Madison
Sumit Gulwani
Distinguished Scientist, Microsoft
Yi Li
Nanyang Technological University
Marsha Chechik
Professor of Computer Science, University of Toronto
Arie Gurfinkel
University of Waterloo
Byron Cook
Professor of Computer Science, UCL, Amazon
