Publications

Publications HAL du labo/EPI camus

2018

Journal articles

titre
Visual Program Manipulation in the Polyhedral Model
auteur
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2018, 15 (1), pp.1 – 25. 〈10.1145/3177961〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01744426/file/TACO_HAL.pdf BibTex
titre
Arbogast: Higher order automatic differentiation for special functions with Modular C
auteur
Isabelle Charpentier, Jens Gustedt
article
Optimization Methods and Software, Taylor & Francis, 2018, pp.1-25. 〈https://doi.org/10.1080%2F10556788.2018.1428603〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307750/file/RR-8907.pdf BibTex
titre
Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code
auteur
Yann Barsamian, Sever Adrian Hirstoaga, Eric Violard
article
Journal of Computational Science, Elsevier, 2018, 27, pp.345–356
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01664207/file/PIC_vert_hal.pdf BibTex

Conference papers

titre
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
auteur
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
article
ICPF 2018 – International Conference on Functional Programming, Sep 2018, St Louis, United States. ACM, 2 (ICFP), pp.1-30, Proceedings of the ACM on Programming Languages. 〈https://conf.researchr.org/home/icfp-2018〉. 〈10.1145/3236772〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01898522/file/krebbers2018mosel.pdf BibTex
titre
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
auteur
Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
article
IFM 2018 – 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01868748/file/ifm18.pdf BibTex
titre
Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-Core SIMD Processors
auteur
Yann Barsamian, Arthur Charguéraud, Sever Hirstoaga, Michel Mehrenberger
article
Euro-Par 2018 – 24th International European Conference on Parallel and Distributed Computing, Aug 2018, Turin, Italy. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01890318/file/PIC-chunks3d.pdf BibTex
titre
NumaMMA: NUMA MeMory Analyzer
auteur
François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet
article
ICPP 2018 – 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.19:1-19:10, 2018, 〈10.1145/3225058.3225094〉
Accès au texte intégral et bibtex
https://hal-cea.archives-ouvertes.fr/cea-01854072/file/main.pdf BibTex
titre
JSExplain: A Double Debugger for JavaScript
auteur
Arthur Charguéraud, Alan Schmitt, Thomas Wood
article
The Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, 〈10.1145/3184558.3185969〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01745792/file/main.pdf BibTex

Reports

titre
Memory access classification for vertical task parallelism
auteur
Jens Gustedt, Maxime Mogé
article
[Research Report] RR-9182, Inria Nancy – Grand Est. 2018, pp.1-20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01814740/file/RR-9182.pdf BibTex

2017

Journal articles

titre
Optimization of Triangular and Banded Matrix Operations Using 2d-Packed Layouts
auteur
Toufik Baroudi, Rachid Seghir, Vincent Loechner
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2017, 14 (4), pp.1 – 19. 〈10.1145/3162016〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01633724/file/BSL17-2dpacked.pdf BibTex
titre
Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
auteur
Arthur Charguéraud, François Pottier
article
Journal of Automated Reasoning, Springer Verlag, 2017, 〈10.1007/s10817-017-9431-7〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652785/file/credits_jar.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, 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
titre
Runtime Vectorization Transformations of Binary Code
auteur
Nabil Hallou, Erven Rohou, Philippe Clauss
article
International Journal of Parallel Programming, Springer Verlag, 2017, 8 (6), pp.1536 – 1565. 〈10.1007/s10766-016-0480-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01593216/file/DynamicRevectorizationExtended.pdf BibTex

Conference papers

titre
Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications
auteur
Maxime Schmitt, Philippe Helluy, Cédric Bastoul
article
HiPC 2017 – 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India. pp.1-10, 〈http://hipc.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655459/file/ACR-A-Compiler-Technique-to-Generate-Self-Tuning-Application.pdf BibTex
titre
Lifting Barriers Using Parallel Polyhedral Regions
auteur
Harenome Razanajato, Cédric Bastoul, Vincent Loechner
article
HiPC 2017 – 24th International Conference on High Performance Computing, Data, and Analytics, Dec 2017, Jaipur, India. IEEE
Accès au bibtex
BibTex
titre
CalMAR -a Multi-Application Dataflow Runtime
auteur
Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset
article
Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT’17, Oct 2017, Seoul, South Korea. 〈10.1145/3125503.3125562〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01631691/file/wip-emsoft.pdf BibTex
titre
A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
auteur
Yann Barsamian, Arthur Charguéraud, Alain Ketterlin
article
PPAM 2017 – 12th International Conference on Parallel Processing and Applied Mathematics, Sep 2017, Lublin, Poland. pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01649172/file/PIC-chunks.pdf BibTex
titre
Automatic, Abstracted and Portable Topology-Aware Thread Placement
auteur
Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri
article
IEEE Cluster, Sep 2017, Hawaï, United States. pp.389 – 399, 2017, Cluster Computing (CLUSTER), 2017 IEEE International Conference on. 〈10.1109/CLUSTER.2017.71〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01621936/file/IEEE_Cluster_2017_Paper_278.pdf BibTex
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
Efficient Data Structures for a Hybrid Parallel and Vectorized Particle-in-Cell Code
auteur
Yann Barsamian, Sever Adrian Hirstoaga, Eric Violard
article
IPDPSW 2017 – IEEE International Parallel and Distributed Processing Symposium Workshops , May 2017, Lake Buena Vista, FL, United States. pp.1168-1177, 2017, 〈http://ieeexplore.ieee.org/document/7965170/〉. 〈10.1109/IPDPSW.2017.74〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01504645/file/pdsec3.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
Semi-Automatic Generation of Adaptive Codes
auteur
Maxime Schmitt, César Sabater, Cédric Bastoul
article
IMPACT 2017 – 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. pp.1-7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655456/file/impact-17-semi-automatic-generation-of-adaptive-codes.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

Other publications

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

Poster communications

titre
Efficient Representations for Large Dynamic Sequences in ML
auteur
Arthur Charguéraud, Mike Rainey
article
ML Family Workshop, Sep 2017, Oxford, United Kingdom. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01669407/file/chunkseq_ml.pdf BibTex

Preprints, Working Papers, …

titre
Verification of 2D × 2D and two-species Vlasov-Poisson solvers
auteur
Yann Barsamian, Joackim Bernier, Sever Hirstoaga, Michel Mehrenberger
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01668744/file/picsl_HAL2.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, Association for Computing Machinery, 2016, 12 (4), 〈10.1145/2838734〉
Accès au bibtex
BibTex

Conference papers

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

Book sections

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 communications

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

Reports

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

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

Preprints, Working Papers, …

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

Conference papers

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

Reports

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

Theses

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

Journal articles

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

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

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

2013

Journal articles

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

Conference papers

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

Documents associated with scientific events

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

Journal articles

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

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

Conference papers

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

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

Theses

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

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

Reports

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

Journal articles

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

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. Springer-Verlag, 5704, pp.974 – 985, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-03869-3_89〉
Accès au bibtex
BibTex

2008

Conference papers

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), Jun 2008, Tucson, Arizona, United States. 2008
Accès au bibtex
BibTex
titre
A Note on the Performance Distribution of Affine Schedules
auteur
Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, Albert Cohen
article
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), Jan 2008, Gothenburg, Sweden. 2008
Accès au bibtex
BibTex

2006

Journal articles

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

Conference papers

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
2nd 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 Region. 2006
Accès au bibtex
BibTex