Get my own profile
Co-authors
Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Hridesh RajanProfessor, Iowa State University, Dept. of Computer ScienceVerified email at acm.org
Arnd Poetzsch-HeffterProfessor für Informatik, University of KaiserslauternVerified email at cs.uni-kl.de
Murali SitaramanProfessor of Computer Science, Clemson UniversityVerified email at clemson.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Ricardo Massa Ferreira LimaAssociate Professor of Computer Science, Center of Informatics, Federal University of Pernambuco (CIn/UFPE)Verified email at cin.ufpe.br
Tim WahlsDickinson CollegeVerified email at dickinson.edu
Mehdi BagherzadehAssistant Professor, Dept. of Computer Science, Oakland UniversityVerified email at oakland.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
David A. NaumannProfessor of Computer Science, Stevens Institute of TechnologyVerified email at cs.stevens.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
Kim BruceProfessor of Computer Science, Pomona CollegeVerified email at pomona.edu
Daniel M. ZimmermanPrincipal Researcher, Galois, Inc.Verified email at acm.org
Susan EisenbachProfessor of Computing, Imperial College LondonVerified email at imperial.ac.uk
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu