Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Praveen KumarGoogleVerified email at google.com
Justin HsuCornell UniversityVerified email at justinhsu.net
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
Tobias KappéOpen Universiteit & ILLC, University of AmsterdamVerified email at uva.nl
David M KahnPhD Student, Carnegie Mellon UniversityVerified email at denison.edu
Spiridon EliopoulosInhabited Type LLCVerified email at inhabitedtype.com
Arjun GuhaNortheastern UniversityVerified email at northeastern.edu
Mathias FleuryUniversity FreiburgVerified email at informatik.uni-freiburg.de
David DaraisGalois, Inc.Verified email at galois.com
Stefan HeuleVerified email at cs.stanford.edu
Ali KheradmandGoogleVerified email at google.com
Minlan YuHarvard UniversityVerified email at g.harvard.edu
Konstantin WeitzUniversity of WashintonVerified email at uw.edu
Kinan Dak AlbabPhD Student, Brown UniversityVerified email at brown.edu
Robert SouléAssociate Professor of Computer Science, Yale UniversityVerified email at yale.edu
Cole SchlesingerResearch Engineer, Galois Inc.Verified email at schlesinger.tech
Xi WangFujitsu Laboratories of AmericaVerified email at us.fujitsu.com