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
Tian Zhaouniversity of wisconsin -- milwaukeeVerified email at uwm.edu
Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
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
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Mahdi EslamimehrQuandary Peak ResearchVerified email at ucla.edu
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Dennis BrylowProfessor of Computer Science, Marquette UniversityVerified email at mu.edu
Barry JayUniversity of Technology SydneyVerified email at uts.edu.au
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Sağnak TaşırlarRice UniversityVerified email at rice.edu
Zoran BudimlicTexas A&M UniversityVerified email at tamu.edu
Michael G. BurkeSenior Research Scientist/Instructor, Rice UniversityVerified email at rice.edu