Get my own profile
Public access
View all15 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
Follow
Bor-Yuh Evan Chang
Associate Professor of Computer Science, University of Colorado Boulder
Verified email at cs.colorado.edu - Homepage