Bor-Yuh Evan Chang
Bor-Yuh Evan Chang
Associate Professor of Computer Science, University of Colorado Boulder
Bestätigte E-Mail-Adresse bei cs.colorado.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Boogie: A modular reusable verifier for object-oriented programs
M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino
International Symposium on Formal Methods for Components and Objects, 364-387, 2005
10622005
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
2182015
Relational inductive shape analysis
BYE Chang, X Rival
ACM SIGPLAN Notices 43 (1), 247-260, 2008
1922008
A judgmental analysis of linear logic
BYE Chang, K Chaudhuri, F Pfenning
982003
Abstract interpretation with alien expressions and heap structures
BYE Chang, KRM Leino
International Workshop on Verification, Model Checking, and Abstract …, 2005
932005
Shape analysis with structural invariant checkers
BYE Chang, X Rival, GC Necula
International Static Analysis Symposium, 384-401, 2007
842007
Thresher: Precise refutations for heap reachability
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 48 (6), 275-286, 2013
472013
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
432005
Human-readable machine-verifiable proofs for teaching constructive logic
A Abel, BYE Chang, F Pfenning
PTP 1, 2001
432001
Selective control-flow abstraction via jumping
S Blackshear, BYE Chang, M Sridharan
ACM SIGPLAN Notices 50 (10), 163-182, 2015
402015
Trustless grid computing in ConCert
BYE Chang, K Crary, M DeLap, R Harper, J Liszka, TM Vii, F Pfenning
International Workshop on Grid Computing, 112-125, 2002
392002
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
332015
Automatic analysis of open objects in dynamic language programs
A Cox, BYE Chang, X Rival
International Static Analysis Symposium, 134-150, 2014
312014
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
International Workshop on Verification, Model Checking, and Abstract …, 2013
292013
Modular construction of shape-numeric analyzers
BYE Chang, X Rival
arXiv preprint arXiv:1309.5138, 2013
252013
Mixing type checking and symbolic execution
YP Khoo, BYE Chang, JS Foster
ACM Sigplan Notices 45 (6), 436-447, 2010
252010
Invariant generation for parametrized systems using self-reflection
A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang
International Static Analysis Symposium, 146-163, 2012
222012
Analysis of low-level code using cooperating decompilers
BYE Chang, M Harren, GC Necula
International Static Analysis Symposium, 318-335, 2006
222006
Separating shape graphs
V Laviron, BYE Chang, X Rival
European Symposium on Programming, 387-406, 2010
212010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20