Bor-Yuh Evan Chang

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	3329	1066
h-index	23	12
i10-index	42	19

260

130

195

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 14 16 43 53 80 94 125 137 150 169 189 176 189 182 199 191 207 182 222 193 191 253 25

Nyilvános hozzáférés

Összes megtekintése

15 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Xavier RivalDirecteur de Recherche, INRIAE-mail megerősítve itt: inria.fr
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideE-mail megerősítve itt: sridharan.net
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderE-mail megerősítve itt: colorado.edu
Sam BlackshearMysten LabsE-mail megerősítve itt: mystenlabs.com
George NeculaProfessor, University of California, BerkeleyE-mail megerősítve itt: cs.berkeley.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenE-mail megerősítve itt: cs.kuleuven.be
Robert DeLinePrincipal Researcher, Microsoft ResearchE-mail megerősítve itt: microsoft.com
Sergio MoverÉcole Polytechnique and LIXE-mail megerősítve itt: polytechnique.edu
Anders MøllerProfessor, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
Pavol CernyProfessor, TU WienE-mail megerősítve itt: tuwien.ac.at
Adam ChlipalaMIT CSAILE-mail megerősítve itt: csail.mit.edu
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mail megerősítve itt: colorado.edu
Uday P. KhedkerProfessor of Computer Science, IIT BombayE-mail megerősítve itt: cse.iitb.ac.in
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceE-mail megerősítve itt: imperial.ac.uk
Yannis SmaragdakisUniversity of AthensE-mail megerősítve itt: di.uoa.gr
Samuel Z. GuyerTufts UniversityE-mail megerősítve itt: cs.tufts.edu
Dimitris VardoulakisNVIDIAE-mail megerősítve itt: nvidia.com
J Nelson AmaralProfessor of Computing Science, University of AlbertaE-mail megerősítve itt: ualberta.ca
Devin CoughlinUniversity of ColoradoE-mail megerősítve itt: colorado.edu

Követés

Bor-Yuh Evan Chang

Associate Professor of Computer Science, University of Colorado Boulder

E-mail megerősítve itt: cs.colorado.edu - Kezdőlap

Programming Languages Program Analysis


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	1325	2005
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	355	2015
Relational inductive shape analysis BYE Chang, X Rival ACM SIGPLAN Notices 43 (1), 247-260, 2008	215	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	106	2005
Shape analysis with structural invariant checkers BYE Chang, X Rival, GC Necula International Static Analysis Symposium, 384-401, 2007	101	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	89*	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	46	2001
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	43	2005
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
Trustless grid computing in ConCert BY Evan Chang, K Crary, M DeLap, R Harper, J Liszka, T Murphy VII, ... International Workshop on Grid Computing, 112-125, 2002	41	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
Semantic-directed clumping of disjunctive abstract states H Li, F Berenger, BYE Chang, X Rival ACM SIGPLAN Notices 52 (1), 32-45, 2017	36	2017
Modular construction of shape-numeric analyzers BYE Chang, X Rival arXiv preprint arXiv:1309.5138, 2013	35	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	33	2010
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
Mixing type checking and symbolic execution YP Khoo, BYE Chang, JS Foster ACM Sigplan Notices 45 (6), 436-447, 2010	29	2010

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők