Get my own profile
Public access
View all11 articles
6 articles
available
not available
Based on funding mandates
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 RajanDean, Tulane University School of Science and EngineeringVerified email at acm.org
- Arnd Poetzsch-HeffterProfessor für Informatik, University of Kaiserslautern-LandauVerified email at cs.uni-kl.de
- Murali SitaramanProfessor of Computer Science, Clemson UniversityVerified email at clemson.edu
- Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
- Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Amirfarhad NilizadehPh.D., Advanced Micro Devices (AMD)Verified email at amd.com
- 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
- Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
- Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
- Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
- Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Mehdi BagherzadehAssociate Professor of Computer Science, Oakland UniversityVerified email at oakland.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
- John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateVerified email at ksu.edu
Follow