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
Van Chan NgoHyperlexiaVerified email at nio.io
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
Ezgi ÇiçekFacebook LondonVerified email at fb.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org