Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu- Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
- David WalkerPrinceton UniversityVerified email at cs.princeton.edu
- Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
- James CheneyProfessor, Laboratory for Foundations of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
- Gang TanProfessor of computer science and engineering, Penn State UniversityVerified email at cse.psu.edu
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
- Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
- Fred SchneiderCS Dept, Cornell UniversityVerified email at cs.cornell.edu
- Gregory MalechaBedRock Systems, IncVerified email at bedrocksystems.com
- Matthew FluetRochester Institute of TechnologyVerified email at cs.rit.edu
- Matt WelshVerified email at mdw.la
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel UniversityVerified email at drexel.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Ryan WisneskyConexus AIVerified email at wisnesky.net
- Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atVerified email at utdallas.edu
- Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
- Stephen McCamantAssociate Professor, University of MinnesotaVerified email at cs.umn.edu
