Get my own profile
Public access
View all15 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
- Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Thomas BallMicrosoft ResearchVerified email at microsoft.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
- Isil DilligUT AustinVerified email at cs.utexas.edu
- Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
- Christian BirdMicrosoft ResearchVerified email at microsoft.com
- Sarah FakhourySenior Researcher, Microsoft ResearchVerified email at microsoft.com
- Todd MytkowiczMicrosoft ResearchVerified email at microsoft.com
- Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
- Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
- Elizabeth DinellaBryn Mawr CollegeVerified email at seas.upenn.edu
- Henrique RebęloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Jeevana Priya InalaMicrosoftVerified email at microsoft.com
- Saikat ChakrabortySenior Researcher at Microsoft ResearchVerified email at microsoft.com
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
- Yuepeng WangSimon Fraser UniversityVerified email at sfu.ca
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Jordan HenkelAI/ML Researcher, Sema4Verified email at cs.wisc.edu