Get my own profile
Co-authors
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Mate SoosZalando SEVerified email at zalando.de
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Alexander IvriiIBMVerified email at il.ibm.com
Leonardo Duenas-OsorioAssociate Professor of Civil and Environmental Engineering, Rice UniversityVerified email at rice.edu
Roger ParedesDoctoral Candidate, Rice UniversityVerified email at rice.edu
Bishwamittra GhoshPhD Student, National University of SingaporeVerified email at u.nus.edu
Jeffrey M. DudekRice UniversityVerified email at rice.edu
Aditya A. ShrotriRice UniversityVerified email at rice.edu
Deepak MajetiVerticaVerified email at microfocus.com
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Rajkishore BarikResearch Scientist, Intel LabsVerified email at intel.com
Prateek SaxenaNational University of SingaporeVerified email at comp.nus.edu.sg
Teodora BalutaPhD candidate, National University of SingaporeVerified email at comp.nus.edu.sg
axel legayUCLouvainVerified email at uclouvain.be
Harold SohAssistant Professor at National University of SingaporeVerified email at comp.nus.edu.sg
Mohan KankanhalliProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Kuldeep S. Meel
Assistant Professor, National University of Singapore
Verified email at comp.nus.edu.sg - Homepage