Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Mihai ChristodorescuGoogleVerified email at christodorescu.org
Kapil VaswaniMicrosoft ResearchVerified email at microsoft.com
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Ilia Lebedevgradient.tech, MITVerified email at gradient.tech
Srinivas DevadasEdwin Sibley Webster Professor of Electrical Engineering and Computer Science, MITVerified email at mit.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Manuel CostaMicrosoft ResearchVerified email at microsoft.com
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com