Get my own profile
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
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
Isil DilligUT AustinVerified email at cs.utexas.edu
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 WangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Christian BirdMicrosoft ResearchVerified email at microsoft.com
Jordan HenkelGraduate Student, University of Wisconsin--MadisonVerified email at cs.wisc.edu
Sam BlackshearNoviVerified email at fb.com
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Cindy Rubio-GonzálezUniversity of California, DavisVerified email at ucdavis.edu
Shaunak ChatterjeePrincipal Staff Applied Researcher, LinkedinVerified email at cs.berkeley.edu
