Bor-Yuh Evan Chang 个人学术档案

引用次数

	总计	2019 年至今
引用	3145	1108
h 指数	23	13
i10 指数	40	19

220

110

165

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 12 15 39 53 79 95 125 140 148 168 183 182 186 179 197 187 208 179 218 192 191 120

开放获取的出版物数量

查看全部

14 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Xavier RivalDirecteur de Recherche, INRIA在 inria.fr 的电子邮件经过验证
Manu SridharanProfessor, Computer Science and Engineering, University of California, Riverside在 sridharan.net 的电子邮件经过验证
Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulder在 colorado.edu 的电子邮件经过验证
Sam BlackshearMysten Labs在 mystenlabs.com 的电子邮件经过验证
George NeculaProfessor, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Bart JacobsProfessor of Computer Science, Katholieke Universiteit Leuven在 cs.kuleuven.be 的电子邮件经过验证
Robert DeLinePrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
Sergio MoverÉcole Polytechnique and LIX在 polytechnique.edu 的电子邮件经过验证
Anders MøllerProfessor, Aarhus University在 cs.au.dk 的电子邮件经过验证
Pavol CernyProfessor, TU Wien在 tuwien.ac.at 的电子邮件经过验证
Adam ChlipalaMIT CSAIL在 csail.mit.edu 的电子邮件经过验证
Uday P. KhedkerProfessor of Computer Science, IIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Benjamin LivshitsReader (Associate Professor++) in Computer Science在 imperial.ac.uk 的电子邮件经过验证
Yannis SmaragdakisUniversity of Athens在 di.uoa.gr 的电子邮件经过验证
Samuel Z. GuyerTufts University在 cs.tufts.edu 的电子邮件经过验证
Dimitris VardoulakisNVIDIA在 nvidia.com 的电子邮件经过验证
J Nelson AmaralProfessor of Computing Science, University of Alberta在 ualberta.ca 的电子邮件经过验证
Ashutosh TrivediAssociate Professor, University of Colorado at Boulder在 colorado.edu 的电子邮件经过验证
Benno SteinUniversity of Colorado Boulder在 colorado.edu 的电子邮件经过验证

关注

Bor-Yuh Evan Chang

Associate Professor of Computer Science, University of Colorado Boulder

在 cs.colorado.edu 的电子邮件经过验证 - 首页

Programming Languages Program Analysis


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	1264	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	328	2015
Relational inductive shape analysis BYE Chang, X Rival ACM SIGPLAN Notices 43 (1), 247-260, 2008	209	2008
A judgmental analysis of linear logic BYE Chang, K Chaudhuri, F Pfenning School of Computer Science, Carnegie Mellon University, 2003	108	2003
Abstract interpretation with alien expressions and heap structures BYE Chang, KRM Leino International Workshop on Verification, Model Checking, and Abstract …, 2005	104	2005
Shape analysis with structural invariant checkers BYE Chang, X Rival, GC Necula International Static Analysis Symposium, 384-401, 2007	94	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	76*	2020
Thresher: Precise refutations for heap reachability S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 48 (6), 275-286, 2013	64	2013
Human-readable machine-verifiable proofs for teaching constructive logic A Abel, BYE Chang, F Pfenning PTP 1, 2001	45	2001
Selective control-flow abstraction via jumping S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 50 (10), 163-182, 2015	44	2015
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	41	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
Separating shape graphs V Laviron, BYE Chang, X Rival Programming Languages and Systems: 19th European Symposium on Programming …, 2010	31	2010
Reduced product combination of abstract domains for shapes A Toubhans, BYE Chang, X Rival International Workshop on Verification, Model Checking, and Abstract …, 2013	30	2013
Mixing type checking and symbolic execution YP Khoo, BYE Chang, JS Foster ACM Sigplan Notices 45 (6), 436-447, 2010	30	2010
Semantic-directed clumping of disjunctive abstract states H Li, F Berenger, BYE Chang, X Rival ACM SIGPLAN Notices 52 (1), 32-45, 2017	29	2017

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用