Publications HAL de philippe,clauss

2024

Conference papers

titre
Algebraic Tiling facing Loop Skewing
auteur
Clément Rossetti, Alexis Hamon, Philippe Clauss
article
IMPACT 2024, 14th International Workshop on Polyhedral Compilation Techniques, Jan 2024, Munich (Allemagne), Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04379037/file/Impact24_Algebraic_tiling_part2.pdf BibTex

2023

Conference papers

titre
Extending the Task Dataflow Model with Speculative Data Accesses
auteur
Anastasios Souris, Bérenger Bramas, Philippe Clauss
article
COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy (France), France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04156383/file/SpecX__Task_Model_with_Speculative_Accesses.pdf BibTex
titre
Algebraic Tiling
auteur
Clément Rossetti, Philippe Clauss
article
IMPACT 2023, 13th International Workshop on Polyhedral Compilation Techniques, Jan 2023, Toulouse, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03944790/file/paper.pdf BibTex

2020

Journal articles

titre
AutoParallel: Automatic parallelisation and distributed execution of affine loop nests in Python
auteur
Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa M Badia
article
International Journal of High Performance Computing Applications, 2020, 34 (6), pp.1 - 14. ⟨10.1177/1094342020937050⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02971480/file/AutoParallel_IJHPCA.pdf BibTex

Conference papers

titre
Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer
auteur
Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, Philippe Clauss
article
CC 2020 - 29th International Conference on Compiler Construction, Feb 2020, San Diego, United States. ⟨10.1145/3377555.3377886⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02457425/file/main.pdf BibTex
titre
Uniform Random Sampling in Polyhedra
auteur
Benoit Meister, Philippe Clauss
article
IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02425752/file/main.pdf BibTex

Book sections

titre
Nightstill de Elke Groen
auteur
Nicole Brenez, Katharina Müller, Philippe Clauss
article
Picturing Austrian Cinema, 2020, 9783959055659
Accès au bibtex
BibTex
titre
Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy
auteur
Salwa Kobeissi, Alain Ketterlin, Philippe Clauss
article
SAMOS 2020: Embedded Computer Systems: Architectures, Modeling, and Simulation, pp.96-109, 2020, ⟨10.1007/978-3-030-60939-9_7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02971434/file/main.pdf BibTex

2019

Conference papers

titre
The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling
auteur
Salwa Kobeissi, Philippe Clauss
article
IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019, Jan 2019, Valencia, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02059558/file/IMPACT_2019_paper_5.pdf BibTex

2018

Conference papers

titre
AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests
auteur
Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa Badia
article
PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing, Nov 2018, Dallas, TX, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01936351/file/AutoParallel.pdf BibTex
titre
Polyhedral Optimization For JavaScript: The Challenges
auteur
Manuel Selva, Julien Pagès, Philippe Clauss
article
IMPACT 2018 - 8th International Workshop on Polyhedral Compilation Techniques, Jan 2018, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02472413/file/polyhedral-javascript.pdf BibTex

2017

Journal articles

titre
Runtime Vectorization Transformations of Binary Code
auteur
Nabil Hallou, Erven Rohou, Philippe Clauss
article
International Journal of Parallel Programming, 2017, 8 (6), pp.1536 - 1565. ⟨10.1007/s10766-016-0480-z⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01593216/file/DynamicRevectorizationExtended.pdf BibTex
titre
Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones
auteur
Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artiom Baloian, Willy Wolff
article
Concurrency and Computation: Practice and Experience, 2017, 29 (15), ⟨10.1002/cpe.4192⟩
Accès au bibtex
BibTex

Conference papers

titre
Automatic Collapsing of Non-Rectangular Loops
auteur
Philippe Clauss, Ervin Altintas, Matthieu Kuhn
article
Parallel and Distributed Processing Symposium (IPDPS), 2017, May 2017, Orlando, United States. pp.778 - 787, ⟨10.1109/IPDPS.2017.34⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01581081/file/paper.pdf BibTex
titre
APOLLO: Automatic speculative POLyhedral Loop Optimizer
auteur
Juan Manuel Martinez Caamaño, Aravind Sukumaran-Rajam, Artiom Baloian, Manuel Selva, Philippe Clauss
article
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01533692/file/paper.pdf BibTex

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

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
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
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
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
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
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

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
titre
Xfor: Semantics and Performance
auteur
Eric Violard, Philippe Clauss, Imen Fassi
article
[Research Report] Team ICPS (ICube Laboratory). 2014
Accès au texte intégral et bibtex
https://hal.science/hal-02475775/file/paper.pdf BibTex

2013

Conference papers

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
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
Multifor for Multicore
auteur
Imèn Fassi, Philippe Clauss, Matthieu Kuhn, Yosr Slama
article
IMPACT 2013, Third International Workshop on Polyhedral Compilation Techniques, Armin Grösslinger, Louis-Noël Pouchet, Jan 2013, Berlin, Germany. pp.37-44
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00780748/file/paper.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
Adapting the Polyhedral Model as a Framework for Efficient Speculative Parallelization
auteur
Alexandra Jimborean, Philippe Clauss, Benoit Pradelle, Luis Mastrangelo, Vincent Loechner
article
PPoPP - 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States
Accès au bibtex
BibTex
titre
Does dynamic and speculative parallelization enable advanced parallelizing and optimizing code transformations?
auteur
Philippe Clauss, Alexandra Jimborean
article
DCE - 1st International Workshop on Dynamic compilation from SoC to Web Browser via HPC, in conjonction with HiPEAC 2012, Henri-Pierre Charles and Philippe Clauss and Frédéric Pétrot, Jan 2012, Paris, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00664339/file/paper.pdf 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
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

2011

Conference papers

titre
Adaptive Runtime Selection of Parallel Schedules in the Polytope Model
auteur
Benoit Pradelle, Philippe Clauss, Vincent Loechner
article
19th High Performance Computing Symposium - HPC 2011, Apr 2011, Boston, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00564311/file/papier.pdf BibTex
titre
Handling Multi-Versioning in LLVM: Code Tracking and Cloning
auteur
Alexandra Jimborean, Vincent Loechner, Philippe Clauss
article
WIR 2011: Workshop on Intermediate Representations, in conjunction with CGO 2011, Florent Bouchez, Sebastian Hack, Eelco Visser, Apr 2011, Chamonix, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00572785/file/WIR.pdf BibTex
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
VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States
Accès au bibtex
BibTex

Book sections

titre
Polyhedral Techniques for Parametric Memory Requirement Estimation
auteur
Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege
article
Balasa, F. and Pradhan, D. Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Taylor and Francis, 2011, Chapman & Hall/Crc Computer and Information Science, 9781439814000
Accès au bibtex
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

Reports

titre
A Static-Dynamic Collaborative Framework for Nested Loops Instrumentation and Profiling
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
[Research Report] 2010, pp.8
Accès au bibtex
BibTex
titre
VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
[Research Report] 2010, pp.10
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00534748/file/paper.pdf BibTex

2009

Journal articles

titre
Symbolic polynomial maximization over convex sets and its application to memory requirement estimation
auteur
Philippe Clauss, Federico Javier Fernández, Diego Garbervetsky, Sven Verdoolaege
article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2009, 17 (8), pp.983-996. ⟨10.1109/TVLSI.2008.2002049⟩
Accès au bibtex
BibTex
titre
A meta-predictor framework for prefetching in object-based DSMs
auteur
Jean Christophe Beyler, Michael Klemm, Philippe Clauss, Michael Philippsen
article
Concurrency and Computation: Practice and Experience, 2009, 21 (14), pp.1789-1803. ⟨10.1002/cpe.1443⟩
Accès au bibtex
BibTex

Conference papers

titre
Efficient Parallel Implementation of Evolutionary Algorithms on GPGPU Cards
auteur
Ogier Maître, Nicolas Lachiche, Philippe Clauss, Laurent Baumes, Avelino Corma, Pierre Collet
article
15th International Euro-Par Conference on Parallel Processing 2009, Aug 2009, Delft, Netherlands. pp.974 - 985, ⟨10.1007/978-3-642-03869-3_89⟩
Accès au bibtex
BibTex

2008

Conference papers

titre
Automatic Prefetching with Binary Code Rewriting in Object-Based DSMs
auteur
Jean Christophe Beyler, Michael Klemm, Michael Philippsen, Philippe Clauss
article
14th international Euro-Par conference on Parallel Processing, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.643 - 653, ⟨10.1007/978-3-540-85451-7_69⟩
Accès au bibtex
BibTex
titre
Prediction and trace compression of data access addresses through nested loop recognition
auteur
Alain Ketterlin, Philippe Clauss
article
6th annual IEEE/ACM international symposium on Code generation and optimization, Apr 2008, Boston, United States. pp.94-103, ⟨10.1145/1356058.1356071⟩
Accès au bibtex
BibTex

2007

Conference papers

titre
Performance driven data cache prefetching in a dynamic software optimization system
auteur
Jean Christophe Beyler, Philippe Clauss
article
21st annual international conference on Supercomputing, Jun 2007, Seattle, United States. pp.202 - 209, ⟨10.1145/1274971.1275000⟩
Accès au bibtex
BibTex
titre
Esodyp+: Prefetching in the Jackal Software DSM
auteur
Michael Klemm, Jean Christophe Beyler, Ronny T. Lampert, Michael Philippsen, Philippe Clauss
article
13th International Euro-Par Conference, Aug 2007, Rennes, France. pp.563-573, ⟨10.1007/978-3-540-74466-5_60⟩
Accès au bibtex
BibTex

2002

Journal articles

titre
Precise data locality optimization of nested loops
auteur
Vincent Loechner, Benoit Meister, Philippe Clauss
article
Journal of Supercomputing, 2002, 21 (1), pp.37-76. ⟨10.1023/A:1013535431127⟩
Accès au bibtex
BibTex

1998

Journal articles

titre
Parametric Analysis of Polyhedral Iteration Spaces
auteur
Philippe Clauss, Vincent Loechner
article
Journal of Signal Processing Systems, 1998, 19 (2), pp.179-194. ⟨10.1023/A:1008069920230⟩
Accès au bibtex
BibTex