Get my own profile
Public access
View all100 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Wenchao LiAssistant Professor, Boston UniversityVerified email at bu.edu
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Daniel HolcombAssociate Professor, University of MassachusettsVerified email at engin.umass.edu
Prabal DuttaAssociate Professor, UC BerkeleyVerified email at eecs.umich.edu
David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaVerified email at umn.edu