Get my own profile
Public access
View all11 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Isil DilligUT AustinVerified email at cs.utexas.edu
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
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Christian BirdMicrosoft ResearchVerified email at microsoft.com
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
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
Jordan HenkelGraduate Student, University of Wisconsin--MadisonVerified email at cs.wisc.edu
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Julien VanegueCornell UniversityVerified email at cornell.edu
Shaunak ChatterjeeDirector of Engineering, AI at LinkedinVerified email at cs.berkeley.edu
Ben LiblitAmazon Web ServicesVerified email at amazon.com