Crea il mio profilo
Accesso pubblico
Visualizza tutto5 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Aseem RastogiResearcher, Microsoft ResearchEmail verificata su microsoft.com
- Karthikeyan BhargavanINRIAEmail verificata su inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtEmail verificata su inria.fr
- Cédric FournetMicrosoft ResearchEmail verificata su microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchEmail verificata su ens-lyon.org
- Nikhil SwamyMicrosoft ResearchEmail verificata su microsoft.com
- Adam ChlipalaMIT CSAILEmail verificata su csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchEmail verificata su microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPEmail verificata su mpi-sp.org
- Tahina RamananandroMicrosoft ResearchEmail verificata su ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchEmail verificata su microsoft.com
- Bryan ParnoCarnegie Mellon UniversityEmail verificata su cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail verificata su mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityEmail verificata su purdue.edu
- Samin IshtiaqRiverlaneEmail verificata su riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinEmail verificata su utexas.edu
- Markulf KohlweissUniveristy of EdinburghEmail verificata su ed.ac.uk
- Laure ThompsonPrinceton UniversityEmail verificata su princeton.edu
- santiago cuellarPhD, Princeton UniversityEmail verificata su princeton.edu
- Kai YeCarnegie Mellon UniversityEmail verificata su cs.cmu.edu