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 fb.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 RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Todd MytkowiczMicrosoft ResearchVerified email at microsoft.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Elizabeth DinellaUniversity Of PennsylvaniaVerified email at seas.upenn.edu
Yuepeng WangSimon Fraser UniversityVerified email at sfu.ca
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Jordan HenkelSenior Scientist, MicrosoftVerified email at cs.wisc.edu
Jeevana Priya InalaMicrosoftVerified email at microsoft.com
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Alexey SvyatkovskiyMicrosoft, Princeton University, Purdue UniversityVerified email at princeton.edu