Get my own profile
Public access
View all16 articles
1 article
available
not available
Based on funding mandates
Co-authors
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Ankush DesaiPrincipal Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Alberto CasagrandeUniversitą di UdineVerified email at units.it
Xiaoqing JinApple Inc.Verified email at cs.ucr.edu
Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu