Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Cédric FournetMicrosoft ResearchVerified email at microsoft.com
- Karthikeyan BhargavanINRIAVerified email at inria.fr
- Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
- Nikhil SwamyMicrosoft ResearchVerified email at microsoft.com
- Georges GonthierPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
- Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
- Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
- Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
- Owen ArdenAssistant Professor of Computer Science UCSCVerified email at soe.ucsc.edu