Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
- Aditya NoriMicrosoft ResearchVerified email at microsoft.com
- Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
- Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Radu GrigoreFacebookVerified email at fb.com
- Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
- Calum ImrieResearch Associate, Assuring Autonomy International Programme (University of York)Verified email at york.ac.uk
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- Sulekha KulkarniMicrosoft CorporationVerified email at microsoft.com
- Genaína Nunes RodriguesAssociate Professor of Computer Science, University of BrasiliaVerified email at unb.br
- Sinem Getir YamanComputer Science, University of York, Ege University IzmirVerified email at york.ac.uk
- Kartik SarangmathThirdAIVerified email at thirdai.com
- Zifan WangCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Limin JiaCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Anirban RoySenior Scientist, SRI InternationalVerified email at sri.com
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
- Nina NarodytskaVMware ResearchVerified email at vmware.com