Bor-Yuh Evan Chang

Citado por

	Total	Desde 2019
Citas	3262	1217
Índice h	24	14
Índice i10	42	19

240

120

180

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 12 15 39 53 79 95 125 140 149 168 184 183 186 179 197 188 208 180 218 194 193 224

Acceso público

Ver todo

15 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Xavier RivalDirecteur de Recherche, INRIADirección de correo verificada de inria.fr
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideDirección de correo verificada de sridharan.net
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderDirección de correo verificada de colorado.edu
Sam BlackshearMysten LabsDirección de correo verificada de mystenlabs.com
George NeculaProfessor, University of California, BerkeleyDirección de correo verificada de cs.berkeley.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenDirección de correo verificada de cs.kuleuven.be
Robert DeLinePrincipal Researcher, Microsoft ResearchDirección de correo verificada de microsoft.com
Sergio MoverÉcole Polytechnique and LIXDirección de correo verificada de polytechnique.edu
Anders MøllerProfessor, Aarhus UniversityDirección de correo verificada de cs.au.dk
Pavol CernyProfessor, TU WienDirección de correo verificada de tuwien.ac.at
Adam ChlipalaMIT CSAILDirección de correo verificada de csail.mit.edu
Uday P. KhedkerProfessor of Computer Science, IIT BombayDirección de correo verificada de cse.iitb.ac.in
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceDirección de correo verificada de imperial.ac.uk
Yannis SmaragdakisUniversity of AthensDirección de correo verificada de di.uoa.gr
Samuel Z. GuyerTufts UniversityDirección de correo verificada de cs.tufts.edu
Dimitris VardoulakisNVIDIADirección de correo verificada de nvidia.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaDirección de correo verificada de ualberta.ca
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderDirección de correo verificada de colorado.edu
Benno SteinUniversity of Colorado BoulderDirección de correo verificada de colorado.edu

Seguir

Bor-Yuh Evan Chang

Associate Professor of Computer Science, University of Colorado Boulder

Dirección de correo verificada de cs.colorado.edu - Página principal

Programming Languages Program Analysis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1306	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	342	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	87*	2020
Thresher: Precise refutations for heap reachability S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 48 (6), 275-286, 2013	66	2013
Selective control-flow abstraction via jumping S Blackshear, BYE Chang, M Sridharan ACM SIGPLAN Notices 50 (10), 163-182, 2015	47	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	37	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	32	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores