Zachary Kincaid
Scholar

Zachary Kincaid

Google Scholar ID: uT9We9MAAAAJ
Princeton University
Program AnalysisProgramming LanguagesSoftware VerificationFormal Methods
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
Azadeh Farzan
Associate Professor, University of Toronto
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Co-author 3
Co-author 3
Aws Albarghouthi
Aws Albarghouthi
University of Wisconsin–Madison
Sumit Gulwani
Sumit Gulwani
Distinguished Scientist, Microsoft
Yi Li
Yi Li
Nanyang Technological University
Marsha Chechik
Marsha Chechik
Professor of Computer Science, University of Toronto
Co-author 8
Co-author 8