Publications

Publications HAL du labo/EPI MULTICORE

2016

Journal articles

titre
The Polyhedral Model of Nonlinear Loops
auteur
Aravind Sukumaran-Rajam, Philippe Clauss
article
ACM Transactions on Architecture and Code Optimization, 2016, 12 (4), ⟨10.1145/2838734⟩
Accès au bibtex
BibTex

Conference papers

titre
Code Bones: Fast and Flexible Code Generation for Dynamic and Speculative Polyhedral Optimization
auteur
Juan Manuel Martinez Caamaño, Willy Wolff, Philippe Clauss
article
Euro-Par 2016, Aug 2016, Grenoble, France. pp.12, ⟨10.1007/978-3-319-43659-3_17⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01377656/file/paper.pdf BibTex

Theses

titre
Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization
auteur
Juan Manuel Martinez Caamaño
article
Computation and Language [cs.CL]. Université de Strasbourg, 2016. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01377758/file/thesis.pdf BibTex

2015

Conference papers

titre
Dynamic Re-Vectorization of Binary Code
auteur
Nabil Hallou, Erven Rohou, Philippe Clauss, Alain Ketterlin
article
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation – SAMOS XV, Jul 2015, Agios Konstantinos, Greece
Accès au bibtex
BibTex
titre
XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance
auteur
Imen Fassi, Philippe Clauss
article
14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. ⟨10.1109/ISPDC.2015.19⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01155144/file/paper.pdf BibTex
titre
Speculative Runtime Parallelization of Loop Nests: Towards Greater Scope and Efficiency
auteur
Aravind Sukumaran-Rajam, Luis Esteban Campostrini, Martinez Juan Manuel, Philippe Clauss
article
20th International Workshop on High-level Parallel Programming Models and Supportive Environments, held in conjunction with 29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India
Accès au bibtex
BibTex
titre
Mind The Gap! A study of some pitfalls preventing peak performance in polyhedral compilation using a polyhedral antidote
auteur
Philippe Clauss
article
IMPACT 2015, Fifth International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2015, Jan 2015, Amsterdam, Netherlands
Accès au bibtex
BibTex

2014

Journal articles

titre
Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
auteur
Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Martinez Juan Manuel
article
International Journal of Parallel Programming, 2014, 42 (4), pp.529-545
Accès au bibtex
BibTex
titre
Recovering memory access patterns of executable programs
auteur
Alain Ketterlin, Philippe Clauss
article
Science of Computer Programming, 2014, 80, pp.440-456. ⟨10.1016/j.scico.2012.08.002⟩
Accès au bibtex
BibTex

Conference papers

titre
Hardware/Software Helper Thread Prefetching On Heterogeneous Many Cores
auteur
Bharath Narasimha Swamy, Alain Ketterlin, André Seznec
article
2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2014, Paris, France. ⟨10.1109/SBAC-PAD.2014.39⟩
Accès au bibtex
BibTex
titre
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
auteur
Aravind Sukumaran-Rajam, Juan Manuel Martinez, Willy Wolff, Alexandra Jimborean, Philippe Clauss
article
Runtime Verification, Sep 2014, Toronto, Canada. pp.124-139, ⟨10.1007/978-3-319-11164-3_11⟩
Accès au bibtex
BibTex
titre
Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization
auteur
Philippe Clauss, Imen Fassi, Alexandra Jimborean
article
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation – SAMOS XIV, Jul 2014, Agios Konstantinos, Greece
Accès au bibtex
BibTex
titre
PADRONE: a Platform for Online Profiling, Analysis, and Optimization
auteur
Emmanuel Riou, Erven Rohou, Philippe Clauss, Nabil Hallou, Alain Ketterlin
article
DCE 2014 – International workshop on Dynamic Compilation Everywhere, Jan 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00917950/file/dce.pdf BibTex
titre
Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
auteur
Philippe Clauss
article
ICS, International Conference on Supercomputing, 2014, Munich, Germany. ⟨10.1145/2591635.2667172⟩
Accès au bibtex
BibTex
titre
Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs
auteur
Philippe Clauss
article
ICS, International Conference on Supercomputing, 2014, New York, United States. ⟨10.1145/2591635.2591654⟩
Accès au bibtex
BibTex

Reports

titre
Loop-based Modeling of Parallel Communication Traces
auteur
Alain Ketterlin, Matthieu Kuhn, Stéphane Genaud, Philippe Clauss
article
[Research Report] RR-8562, INRIA. 2014, pp.10
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01044636/file/RR-8562.pdf BibTex

2013

Conference papers

titre
Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization
auteur
Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam
article
Euro-Par 2013, Aug 2013, Aachen, Germany. pp.191-202, ⟨10.1007/978-3-642-40047-6_21⟩
Accès au bibtex
BibTex
titre
Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons
auteur
Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Juan Manuel Martinez
article
International Symposium on High-level Parallel Programming and Applications‎, HLPP, Jul 2013, Paris, France
Accès au bibtex
BibTex
titre
A study of the scalability of stop-the-world garbage collectors on multicores
auteur
Lokesh Gidra, Gaël Thomas, Julien Sopena, Marc Shapiro
article
ASPLOS 13 – Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, ACM, Mar 2013, Houston, United States. pp.229-240, ⟨10.1145/2451116.2451142⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00868012/file/gidra13asplos-naps.pdf BibTex

2012

Journal articles

titre
Polyhedral parallelization of binary code
auteur
Benoit Pradelle, Alain Ketterlin, Philippe Clauss
article
ACM Transactions on Architecture and Code Optimization, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp.39:1–39:21. ⟨10.1145/2086696.2086718⟩
Accès au bibtex
BibTex

Conference papers

titre
Profiling Data-Dependence to Assist Parallelization: Framework, Scope, and Optimization
auteur
Alain Ketterlin, Philippe Clauss
article
MICRO-45, The 45th Annual IEEE/ACM International Symposium on Microarchitecture, Dec 2012, Vancouver, Canada
Accès au bibtex
BibTex
titre
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
auteur
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia L. Lawall, Gilles Muller
article
2012 USENIX Annual Technical Conference (USENIX ATC ’12), Jun 2012, Boston, MA, United States. ⟨10.5555/2342821.2342827⟩
Accès au bibtex
BibTex
titre
VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
auteur
Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss
article
CC – 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. pp.220-237
Accès au bibtex
BibTex

2011

Conference papers

titre
Efficient Memory Tracing by Program Skeletonization
auteur
Alain Ketterlin, Philippe Clauss
article
IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States
Accès au bibtex
BibTex
titre
Transparent Parallelization of Binary Code
auteur
Benoit Pradelle, Alain Ketterlin, Philippe Clauss
article
First International Workshop on Polyhedral Compilation Techniques, IMPACT 2011, in conjunction with CGO 2011, Christophe Alias, Cédric Bastoul, Apr 2011, Chamonix, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00572797/file/paper.pdf BibTex
titre
Vapor SIMD ― Auto-Vectorize Once, Run Everywhere
auteur
Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, Ayal Zaks
article
cgo # (CGO), 2011, Chamonix, France
Accès au bibtex
BibTex

Reports

titre
Efficient locking for multicore architectures
auteur
Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller
article
[Research Report] RR-7779, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00641252/file/rr7779.pdf BibTex
titre
Tiptop: Hardware Performance Counters for the Masses
auteur
Erven Rohou
article
[Research Report] RR-7789, INRIA. 2011, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00639173/file/RR-7789.pdf BibTex

2010

Conference papers

titre
Recovering the Memory Behavior of Executable Programs
auteur
Alain Ketterlin, Philippe Clauss
article
10th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM, Sep 2010, Timisoara, Romania
Accès au bibtex
BibTex
titre
VMKit: a substrate for managed runtime environments
auteur
Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot
article
VEE ’10 – 6th International Conference on Virtual Execution Environments, Mar 2010, Pittsburgh, Pennsylvania, United States. pp.51-62, ⟨10.1145/1735997.1736006⟩
Accès au bibtex
BibTex