Get my own profile
Public access
View all15 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
Shromona GhoshGraduate Student Researcher, University of California, BerkeleyVerified email at berkeley.edu
Thao DangCNRS Research Director, Laboratory VERIMAG, Grenoble, FranceVerified email at imag.fr
Carla PiazzaProfessor of Computer Science, University of UdineVerified email at uniud.it
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Alberto CasagrandeUniversità di TriesteVerified 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