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
