Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
- Mayur NaikMisra Family Professor 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
- Alessandro OrsoProfessor of Computer Science, Georgia Institute of TechnologyVerified email at cc.gatech.edu
- Divya GopinathNASA Ames, KBR Inc.Verified email at nasa.gov
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
- Calum ImrieResearch & Innovation Associate, Centre for Assuring Autonomy (University of York)Verified email at york.ac.uk
- Radu GrigoreFacebookVerified email at fb.com
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- 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
- Zifan WangCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Sulekha KulkarniMicrosoft CorporationVerified email at microsoft.com
- Kartik SarangmathThirdAIVerified email at thirdai.com
- Limin JiaCarnegie Mellon UniversityVerified email at andrew.cmu.edu
- Anupam DattaSnowflake AI Research, Ex-Professor CMUVerified email at snowflake.com
- Anirban RoySenior Scientist, SRI InternationalVerified email at sri.com
Follow