Bor-Yuh Evan Chang
Scholar

Bor-Yuh Evan Chang

Google Scholar ID: wg3lXyYAAAAJ
Associate Professor of Computer Science, University of Colorado Boulder
Programming LanguagesProgram Analysis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,446
 
H-index
23
 
i10-index
44
 
Publications
20
 
Co-authors
38
list available
Contact
No contact links provided.
Publications
3 items
Uncovering the Limits of Proof Sharing for Neural Networks
2026
Cited
0
DissProve: Automated Verification of Distributed Protocols with Affine Communication
2026
Cited
0
Towards Cumulative Abstract Semantics via Handlers
2025
Cited
0
Resume (English only)
Co-authors
38 total
Co-author 1
Co-author 1
Manu Sridharan
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Bart Jacobs
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Robert DeLine
Robert DeLine
Principal Researcher, Microsoft Research