Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu- Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerified email at felleisen.org
- Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityVerified email at bias2build.com
- Tim DisneyUniversity of California Santa CruzVerified email at ucsc.edu
- Mark LillibridgeFacebookVerified email at cs.cmu.edu
- Caitlin SadowskiGoogleVerified email at google.com
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
- Robert Bruce FindlerNorthwestern UniversityVerified email at cs.northwestern.edu
- Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
- Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
- Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
- Jean YangMITVerified email at cs.cmu.edu
- Christopher SchusterVerified email at ucsc.edu
- Mooly SagivTel Aviv UniversityVerified email at acm.org
- John ClementsProfessor of Computer Science, Cal Poly State UniversityVerified email at calpoly.edu
- Armando Solar-LezamaMITVerified email at csail.mit.edu
- Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Maximilian AlgehedQuviq ABVerified email at quviq.com
Follow
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Verified email at ucsc.edu - Homepage