Get my own profile
Co-authors
Dimitrios VytiniotisDeepMindVerified email at google.com
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Vilhelm SjöbergYale UniversityVerified email at yale.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Joachim BreitnerDFINITIYVerified email at joachim-breitner.de
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Aaron StumpProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Daniel S. DantasVerified email at dantasfiles.com
Michael HicksProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Justin HsuUniversity of Wisconsin--MadisonVerified email at justinh.su
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
Christine RizkallahAssistant Professor (Lecturer) at the University of New South WalesVerified email at unsw.edu.au
Arthur CharguéraudInriaVerified email at inria.fr
Michael GreenbergPomona College - Computer ScienceVerified email at pomona.edu
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage