Get my own profile
Public access
View all6 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