Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
- Karthikeyan BhargavanINRIAVerified email at inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVerified email at inria.fr
- Cédric FournetMicrosoft ResearchVerified email at microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
- Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
- Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
- Cãtãlin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
- Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
- Bryan ParnoCarnegie Mellon UniversityVerified email at cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyVerified email at mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityVerified email at purdue.edu
- Samin IshtiaqRiverlaneVerified email at riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinVerified email at utexas.edu
- Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
- Laure ThompsonPrinceton UniversityVerified email at princeton.edu
- santiago cuellarPhD, Princeton UniversityVerified email at princeton.edu
- Kai YeCarnegie Mellon UniversityVerified email at cs.cmu.edu