Publications

Publications HAL du labo/EPI camus

2017

Article dans une revue

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, Wiley, 2017, 29 (15), <http://onlinelibrary.wiley.com/doi/10.1002/cpe.4192/abstract;jsessionid=F9DD81B79B76547CBC390388A462121B.f03t03>. <10.1002/cpe.4192>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Automatic Collapsing of Non-Rectangular Loops
auteur
Philippe Clauss, Ervin Altıntas, Matthieu Kuhn
article
IEEE International. Parallel and Distributed Processing Symposium (IPDPS), 2017, May 2017, Orlando, United States. pp.778 – 787, 2017, <http://ieeexplore.ieee.org/document/7967168/>. <10.1109/IPDPS.2017.34>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01581081/file/paper.pdf BibTex
titre
Temporary Read-Only Permissions for Separation Logic
auteur
Arthur Charguéraud, François Pottier
article
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408657/file/readonlysep.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, 2017, <http://impact.gforge.inria.fr/impact2017>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01533692/file/paper.pdf BibTex
titre
Splitting Polyhedra to Generate More Efficient Code
auteur
Harenome Razanajato, Vincent Loechner, Cédric Bastoul
article
IMPACT 2017, 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. 2017, <http://impact.gforge.inria.fr/impact2017/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01505764/file/impact-17-splitting-polyhedra-to-generate-more-efficient-code.pdf BibTex
titre
Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
auteur
Nicolas Magaud
article
CoqPL 2017: The Third International Workshop on Coq for Programming Languages, Jan 2017, Paris, France. <http://conf.researchr.org/track/CoqPL-2017/main>. <10.1145/nnnnnnn.nnnnnnn>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01518660/file/ssr_omega.pdf BibTex

Autre publication

titre
VOCAL – A Verified OCAml Library
auteur
Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier
article
ML Family Workshop 2017. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01561094/file/main.pdf BibTex

Rapport

titre
Arbogast: Higher order AD for special functions with Modular C
auteur
Isabelle Charpentier, Jens Gustedt
article
[Research Report] RR-8907, Inria Nancy – Grand Est (Villers-lès-Nancy, France). 2017, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307750/file/RR-8907.pdf BibTex

Pré-publication, Document de travail

titre
Efficient Data Structures for a Hybrid Parallel and Vectorized Particle-in-Cell Code
auteur
Yann Barsamian, Sever Adrian Hirstoaga, Eric Violard
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01504645/file/pdsec3.pdf BibTex

2016

Article dans une revue

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

Communication dans un congrès

titre
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
auteur
Mariem Saied, Jens Gustedt, Gilles Muller
article
Anne Benoît. High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India. IEEE, 2016, <http://www.hipc.org/hipc2016/index.php>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01337093/file/RR-8928.pdf BibTex
titre
Resource-Centered Distributed Processing of Large Histopathology Images
auteur
Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil
article
19th IEEE International Conference on Computational Science and Engineering, Aug 2016, Paris, France. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01325648/file/RR-8921.pdf BibTex
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
Springer-Verlag. Euro-Par 2016, Aug 2016, Grenoble, France. 9833, pp.12, 2016, Proceedings of the 22nd International Conference Euro-Par 2016: Parallel Processing. <10.1007/978-3-319-43659-3_17>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01377656/file/paper.pdf BibTex
titre
Le modèle de programmation ORWL pour la parallélisation d’une application de suivi vidéo HD sur architecture multi-coeurs
auteur
Farouk Mansouri, Jens Gustedt
article
Confrence d’informatique en Paralllisme, Architecture et Systme (COMPAS), Jul 2016, Lorient, France. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01325850/file/RR-8922.pdf BibTex
titre
Futex based locks for C11’s generic atomics (extended abstract)
auteur
Jens Gustedt
article
The 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. The 31st Annual ACM Symposium on Applied Computing, 2016, <10.1145/2851613.2851956>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01304108/file/sac2016.pdf BibTex
titre
Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality
auteur
Cédric Bastoul
article
CC’2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. CC 2016 – 25th International Conference on Compiler Construction, <http://cc2016.eew.technion.ac.il/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01271998/file/cc16.pdf BibTex
titre
Opening Polyhedral Compiler’s Black Box
auteur
Lénaïc Bagnères, Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
CGO 2016 – 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain. <http://cgo.org/cgo2016/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253322/file/2015.09.18_Polyhedral_Compiler_White_Boxing.pdf BibTex

Chapitre d’ouvrage

titre
Transparent distributed data management in large scale distributed systems
auteur
Soumeya Leila Hernane, Jens Gustedt
article
Pervasive Computing, Academic Press, pp.153-194, 2016, 978-0-12-803663-1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01308989/file/chapter.pdf BibTex

Poster

titre
Optimizing Locality by Topology-aware Placement for a Task Based Programming Model
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
article
IEEE Cluster 2016 Conference, Sep 2016, Taipei, Taiwan. pp.164 – 165, <http://ieeecluster2016.org/>. <10.1109/CLUSTER.2016.87>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416284/file/bare_conf_2pages.pdf BibTex

Rapport

titre
Fully-abstracted affinity optimization for task-based models
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
article
[Research Report] RR-8993, INRIA Nancy. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01409101/file/RR-8993.pdf BibTex
titre
Arbogast – Origine d’un outil de dérivation automatique
auteur
Isabelle Charpentier, Jean-Pierre Friedelmeyer, Jens Gustedt
article
[Rapport de recherche] RR-8911, INRIA. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01313355/file/RR-8911.pdf BibTex

Thèse

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
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01377758/file/thesis.pdf BibTex

Pré-publication, Document de travail

titre
Interactive Program Restructuring
auteur
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
2016
Accès au bibtex
BibTex
titre
Maximum Subarray Problem in 1D and 2D via Weighted Paths in Directed Acyclic Graphs
auteur
Yann Barsamian
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01585324/file/MSP-DAG.pdf BibTex

2015

Communication dans un congrès

titre
Automatic Generation of Adaptive Simulation Codes
auteur
Cédric Bastoul, César Sabater
article
SimRace, Conference on Numerical Methods and High Performance Computing for Industrial Fluid Flows, Dec 2015, Rueil-Malmaison, France. 2015, <http://www.rs-simrace.com/>
Accès au bibtex
BibTex
titre
Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
auteur
Tomasz Buchert, Lucas Nussbaum, Jens Gustedt
article
REPPAR – Second International Workshop on Reproducibility in Parallel Computing — held together with Euro-Par, Aug 2015, Vienna, Austria. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01191855/file/provenance.pdf BibTex
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
IEEE. 14th International Symposium on Parallel and Distributed Computing, Jun 2015, Limassol, Cyprus. 2015, <10.1109/ISPDC.2015.19>
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 2015
Accès au bibtex
BibTex
titre
CPU+GPU Load Balance Guided by Execution Time Prediction
auteur
Jean-François Dollinger, Vincent Loechner
article
Fifth International Workshop on Polyhedral Compilation Techniques (IMPACT 2015), Jan 2015, Amsterdam, Netherlands. 2015, <http://impact.gforge.inria.fr/impact2015>
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. 2015, <http://impact.gforge.inria.fr/impact2015>
Accès au bibtex
BibTex
titre
Manipulating Visualization, Not Codes
auteur
Oleksandr Zinenko, Cédric Bastoul, Stéphane Huot
article
International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8, <http://impact.gforge.inria.fr/impact2015/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01100974/file/paper.pdf BibTex

Rapport

titre
Futex based locks for C11’s generic atomics
auteur
Jens Gustedt
article
[Research Report] RR-8818, INRIA Nancy. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01236734/file/RR-8818.pdf BibTex
titre
Modular C
auteur
Jens Gustedt
article
[Research Report] RR-8751, INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01169491/file/RR-8751.pdf BibTex
titre
Data handover on a peer-to-peer system
auteur
Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou
article
[Research Report] RR-8690, Inria Nancy – Grand Est (Villers-lès-Nancy, France); INRIA. 2015, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120837/file/RR-8690.pdf BibTex
titre
Underspecified Aspects of Threads in C
auteur
David Keaton, Jens Gustedt
article
[Technical Report] RT-0470, Inria. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01230011/file/RT470.pdf BibTex

Thèse

titre
XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
auteur
Imen Fassi
article
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251721/file/x-for.pdf BibTex
titre
Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation
auteur
Aravind Sukumaran-Rajam
article
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251748/file/dissertation.pdf BibTex
titre
A framework for efficient execution on GPU and CPU+GPU systems
auteur
Jean-François Dollinger
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01251719/file/thesis.pdf BibTex

2014

Article dans une revue

titre
Numerical simulation for the MHD system in 2D using OpenCL
auteur
Michel Massaro, Philippe Helluy, Vincent Loechner
article
ESAIM: Proceedings, EDP Sciences, 2014, 45, pp.485-492
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00919751/file/massaro.pdf BibTex
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, Springer Verlag, 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, Elsevier, 2014, 80, pp.440-456. <http://www.sciencedirect.com/science/article/pii/S0167642312001505>. <10.1016/j.scico.2012.08.002>
Accès au bibtex
BibTex

Communication dans un congrès

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
Borzoo Bonakdarpour; Scott A. Smolka. Runtime Verification, Sep 2014, Toronto, Canada. Springer, 8734, pp.124-139, 2014, <http://link.springer.com/chapter/10.1007%2F978-3-319-11164-3_11>. <10.1007/978-3-319-11164-3_11>
Accès au bibtex
BibTex
titre
Switchable Scheduling for Runtime Adaptation of Optimization
auteur
Lénaïc Bagnères, Cédric Bastoul
article
Euro-Par 2014 Parallel Processing, Aug 2014, Porto, Portugal. Springer International Publishing, Lecture Notes in Computer Science, 8632, pp.222 – 233, 2014, Lecture Notes in Computer Science. <http://europar2014.dcc.fc.up.pt/>. <10.1007/978-3-319-09873-9_19>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097200/file/2014.02.13_Switchable_Scheduling_for_Runtime_Adaptation_of_Optimizations.pdf BibTex
titre
Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts
auteur
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. IEEE, pp.109-112, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055788/file/Clint-VL_HCC_14.pdf 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. 2014
Accès au bibtex
BibTex
titre
Improving X10 Program Performances by Clock Removal
auteur
Paul Feautrier, Eric Violard, Alain Ketterlin
article
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924206/file/paper.pdf 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. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/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. ACM International Conference on Supercomputing 25th Anniversary Volume. <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. ACM, ACM International Conference on Supercomputing 25th Anniversary Volume. <10.1145/2591635.2591654>
Accès au bibtex
BibTex

Rapport

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://hal.inria.fr/hal-01044636/file/RR-8562.pdf BibTex

2013

Article dans une revue

titre
Predictive Modeling in a Polyhedral Optimization Space
auteur
Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, P. Sadayappan
article
International Journal of Parallel Programming, Springer Verlag, 2013, 41 (5), pp.704–750. <10.1007/s10766-013-0241-1>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918653/file/ijpp-article.13_3.pdf BibTex

Communication dans un congrès

titre
Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization
auteur
Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam
article
Felix Wolf and Bernd Mohr and Dieter an Mey. Euro-Par 2013, Aug 2013, Aachen, Germany. Springer, 8097, pp.191-202, 2013, Lecture Notes in Computer Science; Euro-Par 2013 Parallel Processing Lecture Notes in Computer Science Volume 8097, 2013, 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. 2013
Accès au bibtex
BibTex
titre
Multifor for Multicore
auteur
Imèn Fassi, Philippe Clauss, Matthieu Kuhn, Yosr Slama
article
Armin Grösslinger and Louis-Noël Pouchet. IMPACT 2013, Third International Workshop on Polyhedral Compilation Techniques, Jan 2013, Berlin, Germany. Epubli, pp.37-44, 2013, Proceedings of the 3rd International Workshop on Polyhedral Compilation Techniques
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00780748/file/paper.pdf BibTex
titre
Adaptive Runtime Selection for GPU
auteur
Jean-François Dollinger, Vincent Loechner
article
42nd International Conference on Parallel Processing, 2013, Lyon, France. IEEE, pp.70-79, 2013, <10.1109/ICPP.2013.16>
Accès au bibtex
BibTex

Document associé à des manifestations scientifiques

titre
Les assistants de preuve, ou comment avoir confiance en ses démonstrations.
auteur
Julien Narboux
article
Séminaire L, Mar 2013, Strasbourg, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00809448/file/slides_vulgarisation_coq.pdf BibTex

2012

Article dans une revue

titre
Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
auteur
Rachid Seghir, Vincent Loechner, Benoit Meister
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, 9 (2), pp.8.1-8.27. <10.1145/2207222.2207224>
Accès au bibtex
BibTex
titre
Polyhedral parallelization of binary code
auteur
Benoit Pradelle, Alain Ketterlin, Philippe Clauss
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, Special issue on high-performance and embedded architectures and compilers, 8 (4), pp.39:1–39:21. <http://doi.acm.org/10.1145/2086696.2086718>. <10.1145/2086696.2086718>
Accès au bibtex
BibTex

Communication dans un congrès

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. 2012
Accès au bibtex
BibTex
titre
VMAD: an Advanced Dynamic Program Analysis & Instrumentation Framework
auteur
Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss
article
M. O’Boyle. CC – 21st International Conference on Compiler Construction, Mar 2012, Tallinn, Estonia. Springer, 7210, pp.220-237, 2012, Lecture Notes in Computer Science; 21st International Conference on Compiler Construction – CC 2012
Accès au bibtex
BibTex
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. ACM Press, 2012, 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming – PPoPP’12
Accès au bibtex
BibTex
titre
Dealing with arithmetic overflows in the polyhedral model
auteur
Bruno Cuervo Parrino, Julien Narboux, Eric Violard, Nicolas Magaud
article
Uday Bondhugula and Vincent Loechner. IMPACT 2012 – 2nd International Workshop on Polyhedral Compilation Techniques, Jan 2012, Paris, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00655485/file/polyproofs.pdf 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, Jan 2012, Paris, France. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00664339/file/paper.pdf BibTex

2011

Communication dans un congrès

titre
VMAD: a Virtual Machine for Advanced Dynamic Analysis of Programs
auteur
Alexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss
article
IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011
Accès au bibtex
BibTex
titre
Efficient Memory Tracing by Program Skeletonization
auteur
Alain Ketterlin, Philippe Clauss
article
IEEE. IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS, Apr 2011, Austin, United States. 2011
Accès au bibtex
BibTex
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. ACM/SIGSIM, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00564311/file/papier.pdf 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, Apr 2011, Chamonix, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00572797/file/paper.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, Apr 2011, Chamonix, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00572785/file/WIR.pdf BibTex

Chapitre d’ouvrage

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

Thèse

titre
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments
auteur
Benoit Pradelle
article
Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00733856/file/thesis_prefinal.pdf BibTex

2010

Communication dans un congrès

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. IEEE Computer Society Press, 2010
Accès au bibtex
BibTex

Rapport

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://hal.inria.fr/inria-00534748/file/paper.pdf BibTex
titre
Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization
auteur
Rachid Seghir, Vincent Loechner, Benoit Meister
article
[Research Report] 2010, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00534686/file/rapport.pdf BibTex
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

2009

Article dans une revue

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, Wiley, 2009, 21 (14), pp.1789-1803. <10.1002/cpe.1443>
Accès au bibtex
BibTex
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, IEEE, 2009, 17 (8), pp.983-996. <10.1109/TVLSI.2008.2002049>
Accès au bibtex
BibTex

Communication dans un congrès

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. Springer-Verlag, 5704, pp.974 – 985, 2009, Lecture Notes in Computer Science; Proceedings of the 15th International Euro-Par Conference on Parallel Processing. <10.1007/978-3-642-03869-3_89>
Accès au bibtex
BibTex

2008

Communication dans un congrès

titre
A Note on the Performance Distribution of Affine Schedules
auteur
Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, Albert Cohen
article
2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden. 2008
Accès au bibtex
BibTex
titre
Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos
article
ACM Conference on Programming Language Design and Implementation (PLDI), 2008, Tucson, Arizona, Unknown or Invalid Region. 2008
Accès au bibtex
BibTex

2006

Article dans une revue

titre
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
auteur
Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam
article
ijpp, 2006, 34 (3), pp.261–317
Accès au bibtex
BibTex

Communication dans un congrès

titre
Violated Dependence Analysis
auteur
Nicolas Vasilache, Albert Cohen, Cédric Bastoul, Sylvain Girbal
article
ics # (ICS), 2006, Cairns, Australia. 2006
Accès au bibtex
BibTex
titre
Iterative Optimization in the Polyhedral Model: One-Dimensional Scheduling Case
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen
article
2\nd HiPEAC Industrial Workshop, 2006, Eindhoven, The, Netherlands. 2006
Accès au bibtex
BibTex
titre
GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC
auteur
Sebastian Pop, Albert Cohen, Cédric Bastoul, Sylvain Girbal, Geogres-André Silber, Nicolas Vasilache
article
Proc. of the 4þ GCC Developper’s Summit, 2006, Ottawa, Ontario, Unknown or Invalid Region. 2006
Accès au bibtex
BibTex