Scholar
Bor-Yuh Evan Chang
Google Scholar ID: wg3lXyYAAAAJ
Associate Professor of Computer Science, University of Colorado Boulder
Programming Languages
Program Analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,446
H-index
23
i10-index
44
Publications
20
Co-authors
38
list available
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
Co-authors
11 total
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Robert DeLine
Principal Researcher, Microsoft Research
Sergio Mover
École Polytechnique and LIX
Adam Chlipala
MIT CSAIL
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
