Bor-Yuh Evan Chang

Cited by

	All	Since 2018
Citations	2927	1069
h-index	21	14
i10-index	39	19

220

110

165

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 13 16 39 57 74 98 127 144 147 170 179 183 188 186 193 199 203 190 214 196 66

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Robert DeLinePrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueVerified email at polytechnique.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Uday P. KhedkerProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Samuel Z. GuyerTufts UniversityVerified email at cs.tufts.edu
Dimitris VardoulakisGoogleVerified email at google.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Devin CoughlinUniversity of ColoradoVerified email at colorado.edu

Bor-Yuh Evan Chang

Associate Professor of Computer Science, University of Colorado Boulder

Verified email at cs.colorado.edu - Homepage

Programming Languages Program Analysis


Title Sort by citations Sort by year Sort by 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	1200	2006
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	288	2015
Relational inductive shape analysis BYE Chang, X Rival ACM SIGPLAN Notices 43 (1), 247-260, 2008	205	2008
A judgmental analysis of linear logic BYE Chang, K Chaudhuri, F Pfenning	103	2003
Abstract interpretation with alien expressions and heap structures BYE Chang, KRM Leino Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	99	2005
Shape analysis with structural invariant checkers BYE Chang, X Rival, GC Necula Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007	90	2007
Thresher: Precise refutations for heap reachability S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 48 (6), 275-286, 2013	59	2013
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	54*	2020
Human-readable machine-verifiable proofs for teaching constructive logic A Abel, BYE Chang, F Pfenning PTP 1, 2001	47	2001
Selective control-flow abstraction via jumping S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 50 (10), 163-182, 2015	42	2015
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	42	2005
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	41	2002
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	38	2015
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	37	2014
Calling context abstraction with shapes X Rival, BYE Chang ACM SIGPLAN Notices 46 (1), 173-186, 2011	31	2011
Modular construction of shape-numeric analyzers BYE Chang, X Rival arXiv preprint arXiv:1309.5138, 2013	30	2013
Reduced product combination of abstract domains for shapes A Toubhans, BYE Chang, X Rival Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	30	2013
Mixing type checking and symbolic execution YP Khoo, BYE Chang, JS Foster ACM Sigplan Notices 45 (6), 436-447, 2010	28	2010
Separating shape graphs V Laviron, BYE Chang, X Rival Programming Languages and Systems: 19th European Symposium on Programming …, 2010	25	2010
Analysis of low-level code using cooperating decompilers BYE Chang, M Harren, GC Necula Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006	23	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors