팔로우
Bor-Yuh Evan Chang
Bor-Yuh Evan Chang
Associate Professor of Computer Science, University of Colorado Boulder
cs.colorado.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
12542006
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
3152015
Relational inductive shape analysis
BYE Chang, X Rival
ACM SIGPLAN Notices 43 (1), 247-260, 2008
2032008
A judgmental analysis of linear logic
BYE Chang, K Chaudhuri, F Pfenning
School of Computer Science, Carnegie Mellon University, 2003
1062003
Abstract interpretation with alien expressions and heap structures
BYE Chang, KRM Leino
International Workshop on Verification, Model Checking, and Abstract …, 2005
1042005
Shape analysis with structural invariant checkers
BYE Chang, X Rival, GC Necula
International Static Analysis Symposium, 384-401, 2007
892007
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
69*2020
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
622013
Human-readable machine-verifiable proofs for teaching constructive logic
A Abel, BYE Chang, F Pfenning
PTP 1, 2001
462001
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
442015
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
402005
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
392015
Trustless grid computing in ConCert
BY Evan Chang, K Crary, M DeLap, R Harper, J Liszka, T Murphy VII, ...
Grid Computing—GRID 2002: Third International Workshop Baltimore, MD, USA …, 2002
382002
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
342014
Calling context abstraction with shapes
X Rival, BYE Chang
ACM SIGPLAN Notices 46 (1), 173-186, 2011
322011
Modular construction of shape-numeric analyzers
BYE Chang, X Rival
arXiv preprint arXiv:1309.5138, 2013
302013
Reduced product combination of abstract domains for shapes
A Toubhans, BYE Chang, X Rival
International Workshop on Verification, Model Checking, and Abstract …, 2013
302013
Mixing type checking and symbolic execution
YP Khoo, BYE Chang, JS Foster
ACM Sigplan Notices 45 (6), 436-447, 2010
302010
Separating shape graphs
V Laviron, BYE Chang, X Rival
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
262010
Static analysis with demand-driven value refinement
B Stein, BB Nielsen, BYE Chang, A Møller
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
242019
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20