Get my own profile
Public access
View all17 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Ben L. TitzerPrincipal Researcher, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Tian Zhaouniversity of wisconsin -- milwaukeeVerified email at uwm.edu
Karl LieberherrProfessor of Computer Sciences, Northeastern UniversityVerified email at ccs.neu.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Jan VitekNortheastern UniversityVerified email at neu.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Christian GrothoffBern University of Applied SciencesVerified email at grothoff.org
Mayur NaikMisra Family Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Christian Gram KalhaugeAssistant Professor, DTUVerified email at dtu.dk
Patrick O'KeefeVerified email at alum.mit.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
Sağnak TaşırlarRice UniversityVerified email at rice.edu
Zoran BudimlicTexas A&M UniversityVerified email at tamu.edu
Mahdi EslamimehrQuandary Peak ResearchVerified email at ucla.edu
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVerified email at yale-nus.edu.sg