PhD defense of M. Aravind SUKUMARAN RAJAM
I was happy to participate to the committee of the PhD defense of M. Aravind SUKUMARAN
RAJAM at the Strasbourg University. The defense was on Thursday Nov 5. 2015. The abstract of his thesis is :
In this thesis, we present our contributions to APOLLO (Automatic speculative POLyhedral Loop Optimizer), which is an automated compiler combining Thread Level Speculation (TLS) and the polyhedral model to optimize codes on the fly. By doing partial instrumentation at runtime, and subjecting it to interpolation, Apollo is able to construct a speculative polyhedral model dynamically. The speculative model is then passed to Pluto -a static polyhedral scheduler-. Apollo then selects one of the statically generated code optimization skeletons and instantiates it. The runtime continuously monitors the code for any dependence violation in a decentralized manner. Another important contribution of this thesis is our extension of the polyhedral model to codes exhibiting a non linear behavior. Thanks to the dynamic and speculative context offered by Apollo, non-linear behaviors are either modeled using linear regression hyperplanes forming tubes, or using ranges of reached values. Our approach enables the application of polyhedral transformations to non-linear codes thanks to an hybrid centralized-decentralized speculation verification system.
The defense committee was composed by :
- M. P. Sadayappan Professor, Ohio State University, USA
- M. Erven ROHOU Directeur de Recherche Inria, Équipe Alf, Rennes, France
- M. Henri Pierre CHARLES Directeur de Recherche informatique au CEA, Grenoble, France
- Philippe CLAUSS Professeur, Université de Strasboug
