Skapa en profil
Offentlig åtkomst
Visa alla5 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Aseem RastogiResearcher, Microsoft ResearchVerifierad e-postadress på microsoft.com
- Karthikeyan BhargavanINRIAVerifierad e-postadress på inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerifierad e-postadress på inria.fr
- Cédric FournetMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchVerifierad e-postadress på ens-lyon.org
- Nikhil SwamyMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Adam ChlipalaMIT CSAILVerifierad e-postadress på csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPVerifierad e-postadress på mpi-sp.org
- Tahina RamananandroMicrosoft ResearchVerifierad e-postadress på ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Bryan ParnoCarnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerifierad e-postadress på mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityVerifierad e-postadress på purdue.edu
- Samin IshtiaqRiverlaneVerifierad e-postadress på riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinVerifierad e-postadress på utexas.edu
- Markulf KohlweissUniveristy of EdinburghVerifierad e-postadress på ed.ac.uk
- Laure ThompsonPrinceton UniversityVerifierad e-postadress på princeton.edu
- santiago cuellarPhD, Princeton UniversityVerifierad e-postadress på princeton.edu
- Kai YeCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu