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
- David M KahnPhD Student, Carnegie Mellon UniversityVerified email at denison.edu
- Tobias KappéOpen Universiteit & ILLC, University of AmsterdamVerified email at uva.nl
- 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