Follow
Bor-Yuh Evan Chang
Bor-Yuh Evan Chang
Associate Professor of Computer Science, University of Colorado Boulder
Verified email at cs.colorado.edu - Homepage
Title
Cited by
Cited by
Year
Boogie: A modular reusable verifier for object-oriented programs
M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
11802006
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
2792015
Relational inductive shape analysis
BYE Chang, X Rival
ACM SIGPLAN Notices 43 (1), 247-260, 2008
2022008
A judgmental analysis of linear logic
BYE Chang, K Chaudhuri, F Pfenning
1022003
Abstract interpretation with alien expressions and heap structures
BYE Chang, KRM Leino
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
972005
Shape analysis with structural invariant checkers
BYE Chang, X Rival, GC Necula
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007
902007
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
572013
Human-readable machine-verifiable proofs for teaching constructive logic
A Abel, BYE Chang, F Pfenning
PTP 1, 2001
472001
Hippo signaling-mediated mechanotransduction in cell movement and cancer metastasis
YC Chang, JW Wu, CW Wang, ACC Jang
Frontiers in molecular biosciences 6, 157, 2020
44*2020
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
422015
The Open Verifier framework for foundational verifiers
BYE Chang, A Chlipala, GC Necula, RR Schneck
Proceedings of the 2005 ACM SIGPLAN international workshop on Types in …, 2005
422005
Trustless grid computing in ConCert
BYE Chang, K Crary, M DeLap, R Harper, J Liszka, T Murphy, F Pfenning
Carnegie Mellon University, 2002
402002
Droidel: A general approach to Android framework modeling
S Blackshear, A Gendreau, BYE Chang
Proceedings of the 4th ACM SIGPLAN International Workshop on State of the …, 2015
382015
Automatic analysis of open objects in dynamic language programs
A Cox, BYE Chang, X Rival
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
362014
Calling context abstraction with shapes
X Rival, BYE Chang
ACM SIGPLAN Notices 46 (1), 173-186, 2011
312011
Reduced product combination of abstract domains for shapes
A Toubhans, BYE Chang, X Rival
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
292013
Modular construction of shape-numeric analyzers
BYE Chang, X Rival
arXiv preprint arXiv:1309.5138, 2013
282013
Mixing type checking and symbolic execution
YP Khoo, BYE Chang, JS Foster
ACM Sigplan Notices 45 (6), 436-447, 2010
282010
Separating shape graphs
V Laviron, BYE Chang, X Rival
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
242010
Analysis of low-level code using cooperating decompilers
BYE Chang, M Harren, GC Necula
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
232006
The system can't perform the operation now. Try again later.
Articles 1–20