Crea il mio profilo
Accesso pubblico
Visualizza tutto13 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Stephen FreundComputer Science, Williams CollegeEmail verificata su cs.williams.edu
- Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityEmail verificata su felleisen.org
- Shaz QadeerSoftware Engineer, MetaEmail verificata su meta.com
- Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityEmail verificata su bias2build.com
- Tim DisneyUniversity of California Santa CruzEmail verificata su ucsc.edu
- Mark LillibridgeFacebookEmail verificata su cs.cmu.edu
- Caitlin SadowskiGoogleEmail verificata su google.com
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail verificata su cs.ucsc.edu
- Patrice GodefroidLaceworkEmail verificata su lacework.net
- Robert Bruce FindlerNorthwestern UniversityEmail verificata su cs.northwestern.edu
- Amr SabryProfessor of Computer Science, Indiana UniversityEmail verificata su indiana.edu
- Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityEmail verificata su cs.brown.edu
- Matthew FlattProfessor, School of Computing, University of UtahEmail verificata su cs.utah.edu
- Jean YangMITEmail verificata su cs.cmu.edu
- Christopher SchusterEmail verificata su ucsc.edu
- John ClementsProfessor of Computer Science, Cal Poly State UniversityEmail verificata su calpoly.edu
- Mooly SagivTel Aviv UniversityEmail verificata su acm.org
- Armando Solar-LezamaMITEmail verificata su csail.mit.edu
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Yannis SmaragdakisUniversity of AthensEmail verificata su di.uoa.gr
Segui
Cormac Flanagan
Professor of Computer Science, University of California Santa Cruz
Email verificata su ucsc.edu - Home page