Get my own profile
Public access
View all21 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.eduFernando 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
Kath Knoberesearch scientist, IntelVerified email at alum.mit.eduJan VitekNortheastern UniversityVerified email at neu.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.eduChristian GrothoffBern University of Applied SciencesVerified email at grothoff.org
Mayur NaikMisra Family Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Christian Gram KalhaugeAssistant Professor, DTUVerified email at dtu.dk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.orgWilliam R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Barry JayUniversity of Technology SydneyVerified email at uts.edu.au
Patrick O'KeefeVerified email at alum.mit.eduAlex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Ryan NewtonMIT, Purdue University, Meta PlatformsVerified email at indiana.edu
Sağnak TaşırlarRice UniversityVerified email at rice.eduZoran BudimlicTexas A&M UniversityVerified email at tamu.edu
Mahdi EslamimehrQuandary Peak ResearchVerified email at ucla.edu