Get my own profile
Public access
View all14 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
Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
Todd MytkowiczMicrosoft ResearchVerified email at microsoft.com
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Elizabeth DinellaBryn Mawr CollegeVerified email at seas.upenn.edu
Sarah FakhourySenior Researcher, Microsoft ResearchVerified email at microsoft.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. 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
Jeevana Priya InalaMicrosoftVerified email at microsoft.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Jordan HenkelSenior Scientist, MicrosoftVerified email at cs.wisc.edu
Saikat ChakrabortySenior Researcher at Microsoft ResearchVerified email at microsoft.com