Ira Baxter

Ira Baxter

CTO Semantic Designs
Verified email at semdesigns.com
Cited by 3718
Software Engineering Program Transformations SuperComputing Clone Detection
Herbert Jordan

Herbert Jordan

Postdoc, University of Innsbruck
Verified email at dps.uibk.ac.at
Cited by 1119
Compiler Parallel Programming Program Analyses Program Transformations
Vlad Ureche

Vlad Ureche

PhD student, LAMP, EPFL
Verified email at epfl.ch
Cited by 496
Compilers Program Transformations Specialization Programming Languages
Matthis Kruse

Matthis Kruse

CISPA Helmholtz Center for Information Security and Saarland University
Verified email at cispa.de
Cited by 17
(Secure) Compilation Program Transformations Formal Methods Parallel Computing