Bor-Yuh Evan Chang

Cited by

	All	Since 2019
Citations	3209	1166
h-index	23	13
i10-index	40	19

220

110

165

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 12 15 39 53 79 95 125 140 149 168 183 183 186 179 197 188 208 179 218 194 189 178

Public access

View all

15 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
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Robert DeLinePrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Adam ChlipalaMIT CSAILVerified email at csail.mit.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 VardoulakisNVIDIAVerified email at nvidia.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaVerified email at ualberta.ca
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
Benno SteinUniversity of Colorado BoulderVerified 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	1287	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	338	2015
Relational inductive shape analysis BYE Chang, X Rival ACM SIGPLAN Notices 43 (1), 247-260, 2008	211	2008
A judgmental analysis of linear logic BYE Chang, K Chaudhuri, F Pfenning School of Computer Science, Carnegie Mellon University, 2003	109	2003
Abstract interpretation with alien expressions and heap structures BYE Chang, KRM Leino International Workshop on Verification, Model Checking, and Abstract …, 2005	105	2005
Shape analysis with structural invariant checkers BYE Chang, X Rival, GC Necula International Static Analysis Symposium, 384-401, 2007	96	2007
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	79*	2020
Thresher: Precise refutations for heap reachability S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 48 (6), 275-286, 2013	65	2013
Selective control-flow abstraction via jumping S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 50 (10), 163-182, 2015	45	2015
Human-readable machine-verifiable proofs for teaching constructive logic A Abel, BYE Chang, F Pfenning PTP 1, 2001	45	2001
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	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	40	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	39	2002
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	36	2014
Modular construction of shape-numeric analyzers BYE Chang, X Rival arXiv preprint arXiv:1309.5138, 2013	34	2013
Calling context abstraction with shapes X Rival, BYE Chang ACM SIGPLAN Notices 46 (1), 173-186, 2011	33	2011
Semantic-directed clumping of disjunctive abstract states H Li, F Berenger, BYE Chang, X Rival ACM SIGPLAN Notices 52 (1), 32-45, 2017	31	2017
Reduced product combination of abstract domains for shapes A Toubhans, BYE Chang, X Rival International Workshop on Verification, Model Checking, and Abstract …, 2013	31	2013
Separating shape graphs V Laviron, BYE Chang, X Rival Programming Languages and Systems: 19th European Symposium on Programming …, 2010	31	2010
Mixing type checking and symbolic execution YP Khoo, BYE Chang, JS Foster ACM Sigplan Notices 45 (6), 436-447, 2010	30	2010

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