Get my own profile
Co-authors
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Yongseok CheonSynopsys, Inc.Verified email at synopsys.com
wenting houBeijing Innov-sharing Technology Co.,LtdVerified email at innovsharing.com
Timothy Yee-Kwong KamIntelVerified email at intel.com
Thomas ShipleMIT, UC Berkeley, SynopsysVerified email at alum.mit.edu
Andrew B. KahngProfessor of CSE and ECE, UC San DiegoVerified email at eng.ucsd.edu
Jiang LongUniversity of California at BerkeleyVerified email at berkeley.edu
Wei-Ting Jonas ChanSynopsysVerified email at synopsys.com
Valeria BertaccoMary Lou Dorf Professor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Sherief RedaProfessor, Brown University | Amazon Scholar | IEEE FellowVerified email at brown.edu
Yunshan ZhueK12, Inc.Verified email at eK12.com
Dong WangMatroid Inc.Verified email at matroid.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
John O'LearyIntel CorporationVerified email at intel.com
Sheldon X.-D. TanUniversity of California at RiversideVerified email at ece.ucr.edu
Jerry R. BurchSynopsys, Inc.Verified email at fun-journey.com