Get my own profile
Public access
View all34 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Zhong ShaoYale UniversityVerified email at yale.edu
- Ankush DasAssistant Professor, Boston UniversityVerified email at bu.edu
- Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
- David M KahnPhD Student, Carnegie Mellon UniversityVerified email at denison.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
- Marco GaboardiBoston UniversityVerified email at bu.edu
- Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
- Xinyu FengNanjing UniversityVerified email at nju.edu.cn
- Hongjin LiangNanjing UniversityVerified email at nju.edu.cn
- Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
- Tristan KnothUC San DiegoVerified email at ucsd.edu
- Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
- Felix BrandtProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
- Felix FischerQueen Mary University of LondonVerified email at qmul.ac.uk
- Van Chan NgoHyperlexiaVerified email at nio.io
- Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
- Ezgi ÇiçekFacebook LondonVerified email at fb.com
- Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org