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 fb.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
Robby Findler, 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
Patrice GodefroidLaceworkVerified email at lacework.net
Jean YangMITVerified email at cs.cmu.edu
Christopher SchusterVerified email at ucsc.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityVerified email at calpoly.edu
Mooly SagivTel Aviv UniversityVerified email at acm.org
Armando Solar-LezamaMITVerified email at csail.mit.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
Follow
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Verified email at ucsc.edu - Homepage