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
Contact
No contact links provided.
Publications
2 items
A Categorical Basis for Robust Program Analysis
2026
Cited
0
Software Model Checking via Summary-Guided Search (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
13 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
Co-author 3
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
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up