Publications

Publications HAL du labo/EPI camus

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

titre: Guided Equality Saturation
auteur: Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
article: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), Jan 2024, London, United Kingdom. ⟨10.1145/3632900⟩
Accès au texte intégral et bibtex

titre: Source-to-Source Optimizations Validated using Separation Logic
auteur: Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler
article: 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Accès au texte intégral et bibtex

Reports

titre: Guix-HPC Activity Report 2022–2023
auteur: Céline Acary-Robert, Emmanuel Agullo, Ludovic Courtès, Marek Felšöci, Konrad Hinsen, Arun Isaac, Ontje Lünsdorf, Pjotr Prins, Simon Tournier, Philippe Virouleau, Ricardo Wurmus
article: Inria Bordeaux – Sud Ouest. 2024, pp.1-32
Accès au texte intégral et bibtex

Software

titre: Code examples for the book Modern C, revised for C23
auteur: Jens Gustedt
article: 2024, ⟨swh:1:dir:799ce8df8a191ea9b3921ac4573935685f75738f;origin=https://hal.archives-ouvertes.fr/hal-03345464;visit=swh:1:snp:ff3970978ca2ae7a92ea61b0d3e423be76025984;anchor=swh:1:rel:9b48c2be43952bcd20bb6eb391ec5118e1d7b4ee;path=/⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre: Dynamic Tasks Scheduling with Multiple Priorities on Heterogeneous Computing Systems
auteur: Hayfa Tayeb, Bérenger Bramas, Mathieu Faverge, Abdou Guermouche
article: 2024
Accès au texte intégral et bibtex

2023

Journal articles

titre: Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations
auteur: Hayfa Tayeb, Ludovic Paillat, Bérenger Bramas
article: ACM Transactions on Architecture and Code Optimization, 2023, ⟨10.1145/3631709⟩
Accès au texte intégral et bibtex

titre: Omnisemantics: Smooth Handling of Nondeterminism
auteur: Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter
article: ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, 45 (1), pp.1-43. ⟨10.1145/3579834⟩
Accès au texte intégral et bibtex

titre: A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version)
auteur: Alexandre Moine, Arthur Charguéraud, François Pottier
article: Proceedings of the ACM on Programming Languages, 2023, 7 (POPL), pp.718-747. ⟨10.1145/3571218⟩
Accès au texte intégral et bibtex

Conference papers

titre: GPU Code Generation of Cardiac Electrophysiology Simulation with MLIR
auteur: Tiago Trevisan Jost, Arun Thangamani, Raphaël Colin, Vincent Loechner, Stéphane Genaud, Bérenger Bramas
article: Euro-Par 2023: Parallel Processing, Aug 2023, Limassol, Cyprus. pp.549-563, ⟨10.1007/978-3-031-39698-4_37⟩
Accès au texte intégral et bibtex

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

titre: Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses
auteur: Emmanuel Agullo, Alfredo Buttari, Marek Felšöci, Guillaume Sylvand
article: ComPAS 2023 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, LISTIC : Laboratoire d’Informatique, Systèmes, Traitement de l’Information et de la Connaissance, de l’Université Savoie Mont Blanc., Jul 2023, Annecy, France
Accès au bibtex

titre: Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology
auteur: Arun Thangamani, Tiago Trevisan, Vincent Loechner, Stephane Genaud, Bérenger Bramas
article: 21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO ’23), ACM, Feb 2023, Montréal Québec, Canada. pp.13, ⟨10.1145/3579990.3580008⟩
Accès au texte intégral et bibtex

titre: An AST for Representing Programs with Invariants and Proofs
auteur: Guillaume Bertholon, Arthur Charguéraud
article: JFLA 2023 – 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.43-58
Accès au texte intégral et bibtex

titre: PolyLingual: a Programmable Polyhedral Scheduler
auteur: Tom Hammer, Vincent Loechner
article: IMPACT 2023, Jan 2023, Toulouse (31000), France
Accès au texte intégral et bibtex

titre: Superloop Scheduling: Loop Optimization via Direct Statement Instance Reordering
auteur: Cédric Bastoul, Alain Ketterlin, Vincent Loechner
article: IMPACT 2023, Jan 2023, Toulouse, France
Accès au texte intégral et 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

Habilitation à diriger des recherches

titre: A Modern Eye on Separation Logic for Sequential Programs
auteur: Arthur Charguéraud
article: Computer Science [cs]. Université de Strasbourg, 2023
Accès au texte intégral et bibtex

Documents associated with scientific events

titre: OptiTrust: an Interactive Optimization Framework
auteur: Thomas Koehler, Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian
article: ARRAY 2023 – Workshop – PLDI 2023, Jun 2023, Orlando (Florida), United States.
Accès au texte intégral et bibtex

Reports

titre: The future of imaginary types
auteur: Jens Gustedt
article: N3206, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Simple TU initialization and cleanup handling with dependencies
auteur: Jens Gustedt
article: N3185, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Clarify array length specifications and sizeof expressions
auteur: Jens Gustedt, Martin Uecker
article: N3187, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Initialization, allocation and effective type
auteur: Jens Gustedt, Martin Uecker
article: N3186, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Identifying array length state
auteur: Jens Gustedt, Martin Uecker
article: ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Extensions to the preprocessor for C2Y
auteur: Jens Gustedt
article: N3190, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Some constants are literally literals
auteur: Jens Gustedt
article: N3189, ISO JCT1/SC22/WG14. 2023
Accès au bibtex

titre: Parameter Forward Declarations
auteur: Martin Uecker, Jens Gustedt
article: N3140, ISO JCT1/SC22/WG14. 2023, pp.3
Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre: SPC5: an efficient SpMV framework vectorized using ARM SVE and x86 AVX-512
auteur: Evann Regnault, Bérenger Bramas
article: 2023
Accès au texte intégral et bibtex

titre: Reducing the memory usage of Lattice-Boltzmann schemes with a DWT-based compression
auteur: Clément Flint, Philippe Helluy
article: 2023
Accès au texte intégral et bibtex

titre: A Provenance-aware memory object model for C (slides)
auteur: Jens Gustedt
article: 2023
Accès au texte intégral et bibtex

2022

Journal articles

titre: Parallel kinetic scheme in complex toroidal geometry
auteur: Matthieu Boileau, Bérenger Bramas, Emmanuel Franck, Romane Hélie, Philippe Helluy, Laurent Navoret
article: SMAI Journal of Computational Mathematics, 2022, pp.249-271. ⟨10.5802/smai-jcm.86⟩
Accès au texte intégral et bibtex

titre: Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach
auteur: Giovanni Agosta, Marco Aldinucci, Carlos Alvarez, Roberto Ammendola, Yasir Arfat, Olivier Beaumont, Massimo Bernaschi, Andrea Biagioni, Tommaso Boccali, Bérenger Bramas, Carlo Brandolese, Barbara Cantalupo, Mauro Carrozzo, Daniele Cattaneo, Alessandro Celestini, Massimo Celino, Iacopo Colonnelli, Paolo Cretaro, Pasqua D’ambra, Marco Danelutto, Roberto Esposito, Lionel Eyraud-Dubois, Antonio Filgueras, William Fornaciari, Ottorino Frezza, Andrea Galimberti, Francesco Giacomini, Brice Goglin, Daniele Gregori, Abdou Guermouche, Francesco Iannone, Michal Kulczewski, Francesca Lo Cicero, Alessandro Lonardo, Alberto Martinelli, Michele Martinelli, Xavier Martorell, Giuseppe Massari, Simone Montangero, Gianluca Mittone, Raymond Namyst, Ariel Oleksiak, Paolo Palazzari, Pier Stanislao Paolucci, Federico Reghenzani, Cristian Rossi, Sergio Saponara, Francesco Simula, Federico Terraneo, Samuel Thibault, Massimo Torquati, Matteo Turisini, Piero Vicini, Miquel Vidal, Davide Zoni, Giuseppe Zummo
article: Microprocessors and Microsystems: Embedded Hardware Design , 2022, 95, pp.104679. ⟨10.1016/j.micpro.2022.104679⟩
Accès au texte intégral et bibtex

titre: Automated prioritizing heuristics for parallel task graph scheduling in heterogeneous computing
auteur: Clément Flint, Bérenger Bramas, Ludovic Paillat
article: PeerJ Computer Science, 2022, 8, pp.e969. ⟨10.7717/peerj-cs.969⟩
Accès au texte intégral et bibtex

titre: An efficient particle tracking algorithm for large-scale parallel pseudo-spectral simulations of turbulence
auteur: Cristian Lalescu, Bérenger Bramas, Markus Rampp, Michael Wilczek
article: Computer Physics Communications, 2022, 278, pp.108406. ⟨10.1016/j.cpc.2022.108406⟩
Accès au texte intégral et bibtex

Conference papers

titre: Parallelization of the Lattice-Boltzmann schemes using the task-based method
auteur: Clément Flint, Bérenger Bramas, Stephane Genaud, Philippe Helluy
article: COMPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
Accès au texte intégral et bibtex

titre: MulTreePrio: Scheduling task-based applications for heterogeneous computing systems
auteur: Hayfa Tayeb, Bérenger Bramas, Abdou Guermouche, Mathieu Faverge
article: COMPAS 2022 – Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France
Accès au texte intégral et bibtex

titre: Émergence d’un leadership distribué pour la construction d’un enseignement
auteur: Basile Sauvage, Stéphane Genaud, Arash Habibi, Vincent Loechner, Pierre-Olivier Simonard
article: AIPU22 – 32ème Congrès de l’Association Internationale de Pédagogie Universitaire, May 2022, Rennes, France
Accès au texte intégral et bibtex

titre: Specification and Verification of a Transient Stack
auteur: Alexandre Moine, Arthur Charguéraud, François Pottier
article: CPP 2022 – 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩
Accès au texte intégral et bibtex

Books

titre: A Provenance-aware Memory Object Model for C
auteur: Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
article: ISO/IEC TC1/SC22/WG14, pp.131, 2022
Accès au bibtex

Reports

titre: Introduce the nullptr constant
auteur: Jens Gustedt, JeanHeyd Meneide
article: [Research Report] N3042, ISO JTC1/SC22/WG14. 2022
Accès au bibtex

titre: Introduce storage-class specifiers for compound literals
auteur: Alex Gilding, Jens Gustedt
article: [Research Report] N3038, ISO JCT1/SC22/WG14. 2022
Accès au bibtex

titre: Specx: a C++ task-based runtime system for heterogeneous distributed architectures
auteur: Paul Cardosi, Bérenger Bramas
article: inria. 2022
Accès au texte intégral et bibtex

titre: Primary expressions and constant expressions, clarification request
auteur: Jens Gustedt
article: [Research Report] ISO JTC1/SC22/WG14. 2022
Accès au bibtex

titre: Underspecified object declarations
auteur: Alex Gilding, Jens Gustedt
article: [Research Report] N3006, ISO JCT1/SC22/WG14. 2022
Accès au bibtex

titre: Type inference for object definitions
auteur: Alex Gilding, Jens Gustedt
article: [Research Report] N3007, ISO JCT1/SC22/WG14. 2022
Accès au bibtex

titre: The constexpr specifier for object definitions
auteur: Alex Gilding, Jens Gustedt
article: [Research Report] N3018, ISO JCT1/SC22/WG14. 2022
Accès au bibtex

titre: Add new optional time bases
auteur: Jens Gustedt
article: [Research Report] N2957, ISO JCT1/SC22/WG14. 2022
Accès au texte intégral et bibtex

titre: Unsequenced functions
auteur: Étienne Alepins, Jens Gustedt
article: [Research Report] Inria Nancy – Grand Est. 2022, pp.11
Accès au bibtex

titre: Properly define blocks as part of the grammar
auteur: Jens Gustedt, Martin Uecker
article: [Research Report] N2937, ISO JCT1/SC22/WG14. 2022, pp.3
Accès au texte intégral et bibtex

titre: Revise spelling of keywords
auteur: Jens Gustedt
article: [Research Report] N2934, ISO JTC1/SC22/WG14. 2022
Accès au texte intégral et bibtex

titre: Make false and true first-class language features
auteur: Jens Gustedt
article: [Research Report] N2935, ISO JTC1/SC22/WG14. 2022
Accès au texte intégral et bibtex

titre: Type-generic lambdas
auteur: Jens Gustedt
article: [Research Report] N2924, ISO JCT1/SC22/WG14. 2022, pp.14
Accès au texte intégral et bibtex

titre: Type inference for variable definitions and function returns
auteur: Jens Gustedt
article: [Research Report] N2923, ISO JCT1/SC22/WG14. 2022, pp.22
Accès au texte intégral et bibtex

titre: Pointers and integer types
auteur: Jens Gustedt
article: [Research Report] N2889, ISO JCT1/SC22/WG14. 2022
Accès au bibtex

titre: Require exact-width integer type interfaces
auteur: Jens Gustedt
article: [Research Report] N2888, ISO JTC1/SC22/WG14. 2022
Accès au bibtex

titre: Improve type generic programming
auteur: Jens Gustedt
article: [Technical Report] N2890, ISO JCT1/SC22/WG14. 2022, pp.82
Accès au texte intégral et bibtex

titre: Basic lambdas for C
auteur: Jens Gustedt
article: N2892, ISO JCT1/SC22/WG14. 2022, pp.52
Accès au texte intégral et bibtex

titre: Remove ATOMIC VAR INIT
auteur: Jens Gustedt
article: [Research Report] N2886, ISO JTC1/SC22/WG14. 2022
Accès au bibtex

Preprints, Working Papers, …

titre: OptiTrust: an Interactive Framework for Source-to-Source Transformations
auteur: Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian
article: 2022
Accès au texte intégral et bibtex

titre: Improve type generic programming (slides)
auteur: Jens Gustedt
article: 2022
Accès au texte intégral et bibtex

titre: Type inference for variables and functions (slides)
auteur: Jens Gustedt
article: 2022
Accès au texte intégral et bibtex

titre: Options for lambdas
auteur: Jens Gustedt
article: 2022
Accès au texte intégral et bibtex

2021

Journal articles

titre: A fast vectorized sorting implementation based on the ARM scalable vector extension (SVE)
auteur: Bérenger Bramas
article: PeerJ Computer Science, 2021, ⟨10.7717/peerj-cs.769⟩
Accès au texte intégral et bibtex

titre: Efficient Out-of-core and Out-of-place Rectangular Matrix Transposition and Rotation
auteur: Paul Godard, Vincent Loechner, Cédric Bastoul
article: IEEE Transactions on Computers, 2021, 70 (11), pp.7. ⟨10.1109/TC.2020.3030592⟩
Accès au texte intégral et bibtex

titre: Shape- and scale-dependent coupling between spheroids and velocity gradients in turbulence
auteur: Nimish Pujara, José-Agustín Arguedas-Leiva, Cristian C Lalescu, Bérenger Bramas, Michael Wilczek
article: Journal of Fluid Mechanics, 2021, 922, ⟨10.1017/jfm.2021.543⟩
Accès au texte intégral et bibtex

Conference papers

titre: TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale
auteur: Giovanni Agosta, Daniele Cattaneo, William Fornaciari, Andrea Galimberti, Giuseppe Massari, Federico Reghenzani, Federico Terraneo, Davide Zoni, Carlo Brandolese, Massimo Celino, Francesco Iannone, Paolo Palazzari, Giuseppe Zummo, Massimo Bernaschi, Pasqua d’Ambra, Sergio Saporana, Marco Danelutto, Massimo Torquati, Marco Aldinucci, Yasir Arfat, Barbara Cantalupo, Iacopo Colonnelli, Roberto Esposito, Alberto Riccardo Martinelli, Gianluca Mittone, Olivier Beaumont, Bérenger Bramas, Lionel Eyraud-Dubois, Brice Goglin, Abdou Guermouche, Raymond Namyst, Samuel Thibault, Antonio Filgueras, Miquel Vidal, Carlos Alvarez, Xavier Martorell, Ariel Oleksiak, Ottorino Frezza, Michal Kulczewski, Alessandro Lonardo, Piero Vicini, Francesca Lo Cicero, Francesca Simula, Andrea Biagioni, Paolo Cretaro, Pier Stanislao Paolucci, Matteo Turisini, Francesco Giacomini, Tommaso Boccali, Simone Montangero, Roberto Ammendola
article: DSD 2021 – 24th Euromicro Conference on Digital System Design, Sep 2021, Palermo / Virtual, Italy
Accès au texte intégral et bibtex

titre: C language mechanism for error handling and deferred cleanup
auteur: Jens Gustedt, Robert C Seacord
article: SAC 2021 – 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual, South Korea. ⟨10.1145/3412841.3442116⟩
Accès au texte intégral et bibtex

Books

titre: A Common C/C++ Core Specification
auteur: Jens Gustedt
article: ISO TC1/SC22/WG14, pp.629, 2021
Accès au bibtex

Poster communications

titre: A Hybrid Breaching-Filling method for sink removal adapted to parallel hydrological simulations
auteur: Sleimane Hariri, Jens Gustedt, Sylvain Weill, Isabelle Charpentier
article: EGU 2021, Apr 2021, En ligne, France. 2021, ⟨10.5194/egusphere-egu21-7849⟩
Accès au bibtex

Reports

titre: A simple defer feature for C
auteur: Jens Gustedt, Robert C Seacord
article: [Research Report] N2895, ISO JTC1/SC22/WG14. 2021
Accès au bibtex

titre: Wide Function Pointer Types for Pairing Code and Data
auteur: Martin Uecker, Jens Gustedt
article: [Research Report] 2787, ISO JCT1/SC22/WG14. 2021
Accès au bibtex

titre: Types and sizes
auteur: Jens Gustedt
article: [Research Report] 2838, ISO JTC1/SC22/WG14. 2021
Accès au bibtex

titre: Identifier Syntax using Unicode Standard Annex 31
auteur: Robert C Seacord, Steve Downey, Jens Gustedt, Peter Bindels
article: [Research Report] 2836, ISO JCT1/SC22/WG14. 2021, pp.18
Accès au bibtex

titre: Make call_once mandatory
auteur: Jens Gustedt
article: [Research Report] 2840, ISO JCT1/SC22/WG14. 2021
Accès au texte intégral et bibtex

titre: Only reserve names of optional functions if necessary
auteur: Jens Gustedt
article: [Research Report] 2839, ISO JCT1/SC22/WG14. 2021
Accès au texte intégral et bibtex

titre: Disambiguate the storage class of some compound literals
auteur: Jens Gustedt, Martin Uecker
article: [Research Report] 2819, ISO JCT1/SC22/WG14. 2021, pp.2
Accès au texte intégral et bibtex

titre: Add annotations for unreachable control flow
auteur: Jens Gustedt
article: [Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10
Accès au texte intégral et bibtex

titre: Indeterminate Values and Trap Representations
auteur: Martin Uecker, Jens Gustedt
article: [Research Report] 2772, ISO TC1/SC22/WG14. 2021, pp.11
Accès au bibtex

titre: Enforce storage stability
auteur: Jens Gustedt
article: [Research Report] 2756, ISO JCT1/SC22/WG14. 2021, pp.8
Accès au texte intégral et bibtex

titre: Lvalue closures
auteur: Jens Gustedt
article: [Research Report] N2737, ISO JCT1/SC22/WG14. 2021, pp.12
Accès au texte intégral et bibtex

titre: Function literals and value closures
auteur: Jens Gustedt
article: [Technical Report] N2736, ISO JCT1/SC22/WG14. 2021, pp.55
Accès au texte intégral et bibtex

Software

titre: Specification and Verification of a Transient Stack (Artifact)
auteur: Alexandre Moine, Arthur Charguéraud, François Pottier
article: 2021, ⟨swh:1:dir:80952d7602e8e9614979f1b1f50fdad8a4c369f1;origin=https://hal.archives-ouvertes.fr/hal-03473197;visit=swh:1:snp:781fc4f58efbdfa6ea16006272793bf7c610d760;anchor=swh:1:rel:3df60f40567bfdf2b365cac2fe61c6bb38d94503;path=/⟩
Accès au texte intégral et bibtex

Theses

titre: Speculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor Mechanism
auteur: Salwa Kobeissi
article: Computation and Language [cs.CL]. Université de Strasbourg, 2021. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre: Add annotations for unreachable control flow (slides)
auteur: Jens Gustedt
article: 2021
Accès au texte intégral et bibtex

titre: Enforce storage stability (slides)
auteur: Jens Gustedt
article: 2021
Accès au texte intégral et bibtex

titre: Basic lambdas for C (slides)
auteur: Jens Gustedt
article: 2021
Accès au texte intégral et bibtex

2020

Journal articles

titre: TBFMM: A C++ generic and parallel fast multipole method library
auteur: Bérenger Bramas
article: Journal of Open Source Software, 2020, 5 (56), pp.2444. ⟨10.21105/joss.02444⟩
Accès au texte intégral et bibtex

titre: Separation Logic for Sequential Programs
auteur: Arthur Charguéraud
article: Proceedings of the ACM on Programming Languages, 2020, 4, ⟨10.1145/3408998⟩
Accès au texte intégral et bibtex

titre: An Integral Equation Formulation of the $N$-Body Dielectric Spheres Problem. Part II: Complexity Analysis
auteur: Bérenger Bramas, Muhammad Hassan, Benjamin Stamm
article: ESAIM: Mathematical Modelling and Numerical Analysis, 2020, ⟨10.1051/m2an/2020055⟩
Accès au texte intégral et bibtex

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

titre: Optimization of a discontinuous Galerkin solver with OpenCL and StarPU
auteur: Bérenger Bramas, Philippe Helluy, Laura Mendoza, Bruno Weber
article: International Journal on Finite Volumes, 2020, 15 (1), pp.1-19
Accès au texte intégral et bibtex

titre: Improving parallel executions by increasing task granularity in task-based runtime systems using acyclic DAG clustering
auteur: Bérenger Bramas, Alain Ketterlin
article: PeerJ Computer Science, 2020, ⟨10.7717/peerj-cs.247⟩
Accès au texte intégral et bibtex

Conference papers

titre: Automatic task-based parallelization of C++ applications by source-to-source transformations
auteur: Garip Kusoglu, Bérenger Bramas, Stéphane Genaud
article: Compas 2020 – Conférence francophone en informatique, Jun 2020, Lyon, France
Accès au texte intégral et bibtex

titre: Competing inheritance paths in dependent type theory: a case study in functional analysis
auteur: Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
article: IJCAR 2020 – International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
Accès au texte intégral et bibtex

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

titre: Pipelined Multithreading Generation in a Polyhedral Compiler
auteur: Harenome Razanajato, Cédric Bastoul, Vincent Loechner
article: IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
Accès au texte intégral et bibtex

titre: Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
auteur: Toufik Baroudi, Vincent Loechner, Rachid Seghir
article: IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
Accès au texte intégral et 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

Book sections

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

Books

titre: Defer Mechanism for {C}
auteur: Aaron Ballman, Alex Gilding, Jens Gustedt, Tom Scogland, Robert C. Seacord, Martin Uecker, Freek Wiedijk
article: ISO TC1/SC22/WG14, pp.57, 2020
Accès au bibtex

Reports

titre: Deferred cleanup and error handling in C
auteur: Jens Gustedt, Robert C Seacord
article: [Research Report] RR-9385, Inria Nancy – Grand Est. 2020, pp.23
Accès au texte intégral et bibtex

titre: C source-to-source compiler enhancement from within
auteur: Jens Gustedt
article: [Research Report] RR-9375, INRIA. 2020
Accès au texte intégral et bibtex

Software

titre: Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE)
auteur: Bérenger Bramas
article: 2020, ⟨swh:1:dir:1d1509453950e3569b5f55a6dece1da5eeab9572;origin=https://hal.archives-ouvertes.fr/hal-02906179;visit=swh:1:snp:3506821b2a12082a9bcb490b05b446053c9a940d;anchor=swh:1:rev:7f55f2b6c15d89f826730cf89f500d340d4aefa8;path=/⟩
Accès au texte intégral et bibtex

Theses

titre: Polyhedral Code Generation: Reducing Overhead and Increasing Parallelism
auteur: Harenome Razanajato
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English. ⟨NNT : ⟩
Accès au bibtex

Preprints, Working Papers, …

titre: On the improvement of the in-place merge algorithm parallelization
auteur: Bérenger Bramas, Quentin Bramas
article: 2020
Accès au texte intégral et bibtex

2019

Journal articles

titre: Impact study of data locality on task-based applications through the Heteroprio scheduler
auteur: Bérenger Bramas
article: PeerJ Computer Science, 2019, 5, pp.e190. ⟨10.7717/peerj-cs.190⟩
Accès au texte intégral et 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, 2019, 62 (3), pp.331–365. ⟨10.1007/s10817-017-9431-7⟩
Accès au texte intégral et bibtex

titre: Increasing the degree of parallelism using speculative execution in task-based runtime systems
auteur: Bérenger Bramas
article: PeerJ Computer Science, 2019, 5, pp.e183. ⟨10.7717/peerj-cs.183⟩
Accès au texte intégral et bibtex

Conference papers

titre: Pairing GIS and Distributed Hydrological Models Using MATLAB
auteur: Sleimane Hariri, Sylvain Weill, Jens Gustedt, Isabelle Charpentier
article: 2nd Conference of the Arabian Journal of Geosiences (CAJG 2019), Nov 2019, Sousse, Tunisia. pp.257-259, ⟨10.1007/978-3-030-72543-3_103⟩
Accès au texte intégral et bibtex

titre: GOSPEL -Providing OCaml with a Formal Specification Language
auteur: Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
article: FM 2019 – 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal
Accès au texte intégral et bibtex

titre: Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
auteur: Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier
article: Interactive Theorem Proving, Sep 2019, Portland, United States
Accès au texte intégral et bibtex

titre: Échanges non bloquants de données ordonnées entre producteurs multiples et consommateur unique
auteur: Paul Godard
article: COMPAS 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex

titre: Think Unlimited and Compress Data Automatically
auteur: Maxime Schmitt, Philippe Helluy, Cédric Bastoul
article: COMPAS 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au texte intégral et bibtex

titre: A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
auteur: Paul Godard, Vincent Loechner, Cédric Bastoul, Frederic Soulier, Guillaume Muller
article: IPDPSW 2019 – IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
Accès au texte intégral et bibtex

titre: SPETABARU: A Task-based Runtime System with Speculative Execution Capability
auteur: Bérenger Bramas
article: SIAM CSE 2019 – SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States
Accès au texte intégral et bibtex

titre: Automatic adaptive approximation for stencil computations
auteur: Maxime Schmitt, Philippe Helluy, Cédric Bastoul
article: CC 2019 – 28th International Conference on Compiler Construction, Feb 2019, Washington, United States. pp.170-181, ⟨10.1145/3302516.3307348⟩
Accès au texte intégral et bibtex

titre: Provably and Practically Efficient Granularity Control
auteur: Umut A Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey
article: PPoPP 2019 – Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
Accès au texte intégral et bibtex

titre: Memory access classification for vertical task parallelism
auteur: Jens Gustedt, Maxime Mogé
article: PDP 2019 – 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavia, Italy
Accès au texte intégral et bibtex

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

Books

titre: Modern C
auteur: Jens Gustedt
article: Manning, 2019, 9781617295812
Accès au texte intégral et bibtex

Reports

titre: ISO/IEC 9899 editor report November 2019
auteur: Larry Jones, Jens Gustedt
article: [Research Report] N2456, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Add an interface to query resolution of time bases
auteur: Jens Gustedt
article: [Research Report] N2459, ISO JTC1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Remove support for function definitions with identifier lists
auteur: Lars Gullik Bjønnes, Jens Gustedt
article: [Research Report] N2432, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Function failure annotation
auteur: Niall Douglas, Jens Gustedt
article: [Research Report] N2429, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Contain the floating point naming explosion
auteur: Jens Gustedt
article: [Research Report] N2426, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Synchronization at thread and execution termination
auteur: Jens Gustedt
article: [Research Report] N2461, ISO JTC1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: intmax\_t, a way out
auteur: Jens Gustedt
article: [Research Report] N2425, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Modernize time.h functions
auteur: Jens Gustedt
article: [Research Report] N2417, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Two’s complement sign representation for C2x
auteur: Jean-François Bastien, Jens Gustedt
article: [Research Report] ISO JCT1/SC22/WG14. 2019, pp.N2412
Accès au texte intégral et bibtex

titre: Clean up atomics, non-normative changes
auteur: Jens Gustedt
article: [Technical Report] N2389, ISO JTC1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Introduce the term storage instance
auteur: Jens Gustedt
article: [Technical Report] N2388, ISO JTC1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Moving to a provenance-aware memory object model for C: proposal for C2x
auteur: Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker
article: [Technical Report] N2362, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Align spelling of keywords with C++ and make them feature tests proposal for C2x
auteur: Jens Gustedt
article: [Technical Report] n2368, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: C provenance semantics: examples
auteur: Peter Sewell, Kayvan Memarian, Victor B F Gomes, Jens Gustedt, Martin Uecker
article: [Technical Report] N2363, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Out-of-band bit for exceptional return and errno replacement
auteur: Jens Gustedt
article: [Technical Report] N2361, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Unify string representation functions
auteur: Jens Gustedt
article: [Technical Report] ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Remove conditional “WANT” macros from numbered clauses proposal for C2x
auteur: Jens Gustedt
article: [Technical Report] N2359, ISO JTC1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: ISO/IEC 9899 editor report March 2019
auteur: Larry Jones, Jens Gustedt
article: [Technical Report] N2348, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

titre: Moving to two’s complement sign representation
auteur: Jean-François Bastien, Jens Gustedt
article: [Research Report] N2330, ISO JCT1/SC22/WG14. 2019
Accès au texte intégral et bibtex

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, 2018, 15 (1), pp.1 – 25. ⟨10.1145/3177961⟩
Accès au texte intégral et bibtex

titre: Arbogast: Higher order automatic differentiation for special functions with Modular C
auteur: Isabelle Charpentier, Jens Gustedt
article: Optimization Methods and Software, 2018, 33 (4-6), pp.963-987. ⟨10.1080/10556788.2018.1428603⟩
Accès au texte intégral et bibtex

titre: Verification of 2D × 2D and two-species Vlasov-Poisson solvers
auteur: Yann A Barsamian, Joackim Bernier, Sever Adrian Hirstoaga, Michel Mehrenberger
article: ESAIM: Proceedings and Surveys, 2018, 63, pp.78-108. ⟨10.1051/proc/201863078⟩
Accès au texte intégral et bibtex

titre: Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code
auteur: Yann A Barsamian, Sever Adrian Hirstoaga, Eric Violard
article: Journal of computational science, 2018, 27, pp.345–356. ⟨10.1016/j.jocs.2018.06.004⟩
Accès au texte intégral et bibtex

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

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: International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩
Accès au texte intégral et 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

titre: Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-Core SIMD Processors
auteur: Yann A Barsamian, Arthur Charguéraud, Sever Adrian Hirstoaga, Michel Mehrenberger
article: Euro-Par 2018 – 24th International European Conference on Parallel and Distributed Computing, Aug 2018, Turin, Italy. ⟨10.1007/978-3-319-96983-1_53⟩
Accès au texte intégral et bibtex

titre: Heartbeat scheduling: provable efficiency for nested parallelism
auteur: Umut A Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
article: PLDI’18 – 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
Accès au texte intégral et 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

titre: A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
auteur: Armaël Guéneau, Arthur Charguéraud, François Pottier
article: ESOP 2018 – 27th European Symposium on Programming, Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89884-1_19⟩
Accès au texte intégral et 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

Reports

titre: Clean up atomics
auteur: Jens Gustedt
article: [Technical Report] N2329, ISO JCT1/SC22/WG14. 2018
Accès au texte intégral et bibtex

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

Software

titre: The Coq Proof Assistant, version 8.8.0
auteur: The Coq Development Team
article: 2018
Accès au bibtex

Theses

titre: Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architectures
auteur: Mariem Saied
article: Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2018. English. ⟨NNT : 2018STRAD036⟩
Accès au texte intégral et 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, 2017, 14 (4), pp.1 – 19. ⟨10.1145/3162016⟩
Accès au texte intégral et 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

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

Conference papers

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
Accès au bibtex

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
Accès au texte intégral et 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

titre: A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method
auteur: Yann A 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

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, ⟨10.1109/CLUSTER.2017.71⟩
Accès au texte intégral et bibtex

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

titre: Efficient Data Structures for a Hybrid Parallel and Vectorized Particle-in-Cell Code
auteur: Yann A 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, ⟨10.1109/IPDPSW.2017.74⟩
Accès au texte intégral et 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

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
Accès au texte intégral et 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

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

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
Accès au texte intégral et bibtex

Other publications

titre: VOCAL – A Verified OCAml Library
auteur: Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier
article: 2017
Accès au texte intégral et 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

2016

Journal articles

titre: Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages
auteur: Umut A Acar, Arthur Charguéraud, Mike Rainey
article: Journal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
Accès au texte intégral et bibtex

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

Conference papers

titre: Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
auteur: Mariem Saied, Jens Gustedt, Gilles Muller
article: High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
Accès au texte intégral et 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
Accès au texte intégral et 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: 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

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: Conf{\’e}rence d’informatique en Parall{\’e}lisme, Architecture et Syst{\`e}me (COMPAS), Jul 2016, Lorient, France
Accès au texte intégral et 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. ⟨10.1145/2851613.2851956⟩
Accès au texte intégral et 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
Accès au texte intégral et 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
Accès au texte intégral et 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

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, ⟨10.1109/CLUSTER.2016.87⟩
Accès au texte intégral et 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

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

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

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

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, IFPEN, Dec 2015, Rueil-Malmaison, France
Accès au 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
Accès au texte intégral et 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

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

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

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
Accès au texte intégral et 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
Accès au 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

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

titre: Modular C
auteur: Jens Gustedt
article: [Research Report] RR-8751, INRIA. 2015
Accès au texte intégral et 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

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

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. ⟨NNT : ⟩
Accès au texte intégral et 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. ⟨NNT : ⟩
Accès au texte intégral et 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, 2014, 45, pp.485-492. ⟨10.1051/proc/201445050⟩
Accès au texte intégral et 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, 2014, 42 (4), pp.529-545
Accès au 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

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

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

titre: Switchable Scheduling for Runtime Adaptation of Optimization
auteur: Lénaïc Bagnères, Cédric Bastoul
article: Euro-Par 2014 Parallel Processing, Fernando Silva, Inês Dutra, Vítor Santos Costa, Aug 2014, Porto, Portugal. pp.222 – 233, ⟨10.1007/978-3-319-09873-9_19⟩
Accès au texte intégral et 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. pp.109-112
Accès au texte intégral et 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

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
Accès au texte intégral et 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

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

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

Reports

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

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

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, 2013, 41 (5), pp.704–750. ⟨10.1007/s10766-013-0241-1⟩
Accès au texte intégral et bibtex

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

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

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

titre: Adaptive Runtime Selection for GPU
auteur: Jean-François Dollinger, Vincent Loechner
article: 42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.70-79, ⟨10.1109/ICPP.2013.16⟩
Accès au 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

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, 2012, 9 (2), pp.8.1-8.27. ⟨10.1145/2207222.2207224⟩
Accès au bibtex

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

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

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

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

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

titre: Dealing with arithmetic overflows in the polyhedral model
auteur: Bruno Cuervo Parrino, Julien Narboux, Eric Violard, Nicolas Magaud
article: IMPACT 2012 – 2nd International Workshop on Polyhedral Compilation Techniques, Louis-Noel Pouchet, Jan 2012, Paris, France
Accès au texte intégral et 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

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

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

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

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

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

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. ⟨NNT : ⟩
Accès au texte intégral et 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

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

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

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

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

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
Accès au 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
Accès au 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: International Journal of Parallel Programming, 2006, 34 (3), pp.261–317. ⟨10.1007/s10766-006-0012-3⟩
Accès au bibtex

Conference papers

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
Accès au bibtex

titre: Violated Dependence Analysis
auteur: Nicolas Vasilache, Albert Cohen, Cédric Bastoul, Sylvain Girbal
article: ics # (ICS), 2006, Cairns, Australia
Accès au 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
Accès au bibtex

Publications

Blogroll

Meta