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 NaikProfessor 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
Patrick O'KeefeVerified email at alum.mit.edu
Sağnak TaşırlarRice UniversityVerified email at rice.edu
Zoran BudimlicTexas A&M UniversityVerified email at tamu.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Mahdi EslamimehrQuandary Peak ResearchVerified email at ucla.edu
Christian Gram KalhaugeAssistant Professor, DTUVerified email at dtu.dk
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVerified email at yale-nus.edu.sg
Dennis BrylowProfessor of Computer Science, Marquette UniversityVerified email at mu.edu