ICPS - Publications

All publications

2026

• Vincent Loechner, Dhimiter Riza .
  Z-Polyhedra and LBLs in PolyLib.
  IMPACT 2026 - 16th International Workshop on Polyhedral Compilation Techniques
  2026.
• Marcus Rossel, Rudi Schneider, Thomas Koehler, Michel Steuwer, Andrés Goens .
  Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation.
  Proceedings of the ACM on Programming Languages , 10 (POPL) 2026.
  DOI: 10.1145/3776667
• Valeran Maytié, Reuben Carolan, Christophe Alias, Cedric Bastoul, Thomas Koehler .
  Towards Optimising Programs with Sketch-Guided Polyhedral Compilation.
  IMPACT 2026 - International Workshop on Polyhedral Compilation Techniques
  2026.
• Tom Hammer, Stéphane Genaud, Vincent Loechner .
  Guiding Polyhedral Scheduling for Vectorization through Constraints Generated from an SLP Algorithm.
  IMPACT '26 - 16th International Workshop on Polyhedral Compilation Techniques
  2026.
• Emmanuel Agullo, Bérenger Bramas, Olivier Coulaud, Antoine Gicquel .
  Unified and Composable Rank-Structured Hierarchical Matrix–Vector MultiplicationMultiplication Matrice–Vecteur Hiérarchique et Structurée en Rang : Unification et Composabilité.
  2026.

2025

• David Algis, Bérenger Bramas, Emmanuelle Darles, Lilian Aveneau .
  Arc Blanc: a real time ocean simulation framework.
  Journal of Computer Graphics Techniques , 14 (01) :70-115 2025.
• Bérenger Bramas, Marek Felšöci, Stéphane Genaud .
  Parallélisation automatique à base de tâches avec modélisation de performances.
  COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2025.
• David Algis, Bérenger Bramas, Emmanuelle Darles, Lilian Aveneau .
  Arc Blanc: A Real-Time Ocean Simulator.
  I3D 2025 – ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games
  2025.
• Jens Gustedt .
  C semantics for contracts.
  2025.
• Jens Gustedt .
  Properly specify the interaction of library calls for condition variables.
  2025.
• Jens Gustedt .
  Clarify status of non-returning functions with respect to function attributes.
  2025.
• Jens Gustedt .
  Objects of known constant size.
  2025.
• Hans Boehm, Jens Gustedt .
  Retire the concept of consume operations.
  2025.
• Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Kœhler, Michel Steuwer .
  Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs.
  Proceedings of the ACM on Programming Languages , 9 (PLDI) :1888-1910 2025.
  DOI: 10.1145/3729326
• Jens Gustedt .
  Chasing Ghosts II: accessing allocated storage.
  2025.
• Jens Gustedt .
  Reproducible expressions.
  2025.
• Jens Gustedt .
  Clarify the specification of the width macros.
  2025.
• Jens Gustedt .
  Chasing Ghosts I: constant expressions.
  2025.
• Julien Gaupp, Bérenger Bramas .
  Contraintes d'OpenMP pour la parallélisation automatique à base de tâches.
  Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2025)
  2025.
• David Algis, Bérenger Bramas, Emmanuelle Darles, Lilian Aveneau .
  InteropUnityCUDA: A Tool for Interoperability Between Unity and CUDAInteropUnityCUDA: Un outil d'intéropérabilité entre Unity et CUDA.
  Software: Practice and Experience 2025.
  DOI: 10.1002/spe.3414
• Antoine Gicquel, Olivier Coulaud, Bérenger Bramas .
  Towards a composable abstraction of hierarchical methods for matrix-vector product accelerationVers une abstraction composable des méthodes hiérarchiques pour l'accélération du produit matrice-vecteur.
  2025.
• Jens Gustedt .
  Modern C.
  2025.
• Raphaël Colin .
  Automatic Multi-Versioning of Computation Kernels.
  Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2025)
  2025.
• Jens Gustedt, Jeremy Rifkin .
  The __COUNTER__ predefined macro.
  2025.
• Jens Gustedt .
  Another daemon: waiting for condition variables.
  2025.
• Jens Gustedt .
  Even simpler defer for direct integration.
  2025.
• Arthur Charguéraud, Martin Bodin, Louis Riboulet .
  Typechecking of Overloading in Programming Languages and Mechanized Mathematics.
  36es Journées Francophones des Langages Applicatifs (JFLA 2025)
  2025.
• Alexandre Moine, Arthur Charguéraud, François Pottier .
  Will it Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
  ACM Transactions on Programming Languages and Systems (TOPLAS) 2025.
  DOI: 10.1145/3716312
• Alain Ketterlin .
  Polynomial Loop Recognition in Traces.
  IMPACT 2025 -- 15th International Workshop on Polyhedral Compilation Techniques
  2025.
• Atoli Huppé, Bérenger Bramas, Clément Flint, Stéphane Genaud .
  A fast implementation of 3D wavelet compression on GPU.
  COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2025.
• Javier A. Múgica, Jens Gustedt .
  Array subscripting without decay.
  2025.
• Paul Cardosi, Bérenger Bramas .
  Specx: a C++ task-based runtime system for heterogeneous distributed architectures.
  PeerJ Computer Science 2025.
  DOI: 10.7717/peerj-cs.2966
• Jens Gustedt .
  Properly specify the interaction of library calls for mutexes.
  2025.
• Jens Gustedt .
  Add type-safe minimum and maximum type-generic macros.
  2025.
• Jens Gustedt .
  Clean up atomics, non-normative changes.
  2025.
• Jens Gustedt .
  static_assert without UB.
  2025.
• Guillaume Bertholon, Arthur Charguéraud .
  Bidirectional Translation between a C-like Language and an Imperative Lambda-calculus.
  36es Journées Francophones des Langages Applicatifs (JFLA 2025)
  2025.
• Etienne Ndamlabin, Bérenger Bramas .
  RSCHED: An effective heterogeneous resources management for simultaneous execution of task-based applications.
  International journal of advanced computer science and applications (IJACSA) , Volume 16 Issue 2 2025.
  DOI: 10.14569/IJACSA.2025.0160206
• Albert d'Aviau de Piolant, Hayfa Tayeb, Bérenger Bramas, Mathieu Faverge, Abdou Guermouche, Amina Guermouche .
  Improving energy efficiency of HPC applications using unbalanced GPU power capping.
  HCW (Ipdps workshop)
  2025.
• Antoine Gicquel, Olivier Coulaud, Bérenger Bramas, Emmanuel Agullo .
  A composable abstraction of hierarchical methods for matrix-vector product acceleration.
  Workshop on Approximate Computing in Numerical Linear Algebra 2025
  2025.
• Bérenger Bramas .
  High-Performance Computing: from Optimization to Automation.
  2025.
• David Algis, Bérenger Bramas .
  Exploiting ray tracing technology through OptiX to compute particle interactions with cutoff in a 3D environment on GPU.
  International journal of advanced computer science and applications (IJACSA) , Volume 16 Issue 2 2025.
• Nicole Heinimann, Thomas Koehler, Michel Steuwer .
  Machine Learning Guided Equality Saturation.
  2025.

2024

• Arun Thangamani, Vincent Loechner, Stéphane Genaud .
  A Survey of General-purpose Polyhedral Compilers.
  ACM Transactions on Architecture and Code Optimization 2024.
  DOI: 10.1145/3674735
• Clément Flint, Philippe Helluy .
  Reducing the memory usage of Lattice-Boltzmann schemes with a DWT-based compression.
  ESAIM: Proceedings and Surveys , 77 :79-99 2024.
  DOI: 10.48550/arXiv.2302.09883
• David Algis, Bérenger Bramas, Emmanuelle Darles, Lilian Aveneau .
  Efficient GPU Implementation of Particle Interactions with Cutoff Radius and Few Particles per Cell.
  International Symposium on Parallel Computing and Distributed Systems (PCDS2024)
  2024.
• Arun Thangamani, Vincent Loechner, Stéphane Genaud .
  Extending Polygeist to Generate OpenMP SIMD and GPU MLIR Code.
  Euro-Par 2024 - 30th International European Conference on Parallel and Distributed Computing - PhD Symposium
  2024.
• Clément Flint, Atoli Huppé, Philippe Helluy, Bérenger Bramas, Stéphane Genaud .
  Using the Discrete Wavelet Transform for Lossy On-the-Fly Compression of GPU Fluid Simulations.
  International Journal for Numerical Methods in Fluids 2024.
  DOI: 10.1002/fld.5344
• Hayfa Tayeb, Bérenger Bramas, Mathieu Faverge, Abdou Guermouche .
  Dynamic Tasks Scheduling with Multiple Priorities on Heterogeneous Computing Systems.
  HCW 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
  2024.
  DOI: 10.1109/IPDPSW63119.2024.00014
• Jens Gustedt .
  Objects of known constant size.
  2024.
• Javier A. Múgica, Jens Gustedt .
  Array subscripting without decay.
  2024.
• Vincent Alba, Olivier Aumage, Denis Barthou, Raphaël Colin, Marie-Christine Counilh, Stéphane Genaud, Amina Guermouche, Vincent Loechner, Arun Thangamani .
  Performance portability of generated cardiac simulation kernels through automatic dimensioning and load balancing on heterogeneous nodes.
  PDSEC 2024
  2024.
  DOI: 10.1109/IPDPSW63119.2024.00171
• Jens Gustedt .
  Some constants are literally literals.
  2024.
• Evann Regnault, Bérenger Bramas .
  SPC5: an efficient SpMV framework vectorized using ARM SVE and x86 AVX-512.
  Computer Science and Information Systems , Vol. 21 (No. 1) :203–221 2024.
  DOI: 10.48550/arXiv.2307.14774
• Jackson Woodruff, Alexander Brauckmann, Sam Ainsworth, Thomas Koehler, Chris Cummins, Michael F. P. O'Boyle .
  Rewriting History: Repurposing Domain-Specific CGRAs.
  2024.
• Jens Gustedt .
  Reproducible expressions.
  2024.
• Janos Farkas, Greg Mirsky, Fabrice Theoleyre, Georgios Papadopoulos, Carlos J. Bernardos, Balazs Varga .
  Framework of Operations, Administration, and Maintenance (OAM) for Deterministic Networking (DetNet).
  2024.
• Jens Gustedt .
  Clarify the specification of the width macros.
  2024.
• Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling .
  Interactive Source-to-Source Optimizations Validated using Static Resource Analysis.
  SOAP 2024 - Workshop - PLDI 2024
  2024.
  DOI: 10.1145/3652588.3663320
• Clément Flint .
  Efficient data compression for high-performance PDE solversCompression de données efficace pour les solveurs d'EDP haute performance : vers des simulations de dynamique des fluides efficientes dans des environnements à mémoire limitée.
  2024.
  DOI: 10.70675/e7ca5091z143fz471czb61az057c9be1397d
• Jens Gustedt .
  Introduce complex literals.
  2024.
• Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer .
  Guided Equality Saturation.
  51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
  2024.
  DOI: 10.1145/3632900
• Jens Gustedt .
  Clarify status of non-returning functions with respect to function attributes.
  2024.
• Jens Gustedt .
  Even simpler defer for direct integration.
  2024.
• Arun Thangamani .
  Optimized code generation of parallel and polyhedral loop nests using MLIRGénération de code optimisée pour des nids de boucles parallèles et polyédriques à l'aide de MLIR.
  2024.
  DOI: 10.70675/b30b02b1zc799z4a1cz8285z44133b3a4e3b
• Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler .
  Source-to-Source Optimizations Validated using Separation Logic.
  35es Journées Francophones des Langages Applicatifs (JFLA 2024)
  2024.
• Clément Rossetti, Alexis Hamon, Philippe Clauss .
  Algebraic Tiling facing Loop Skewing.
  IMPACT 2024, 14th International Workshop on Polyhedral Compilation Techniques
  2024.
• Vincent Loechner .
  Optimized Code Generation of Electrophysiology Kernels using MLIR.
  Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO)
  2024.
• Alain Ketterlin .
  Easy Counting and Ranking for Simple Loops.
  IMPACT 2024 -- 14th International Workshop on Polyhedral Compilation Techniques
  2024.
• Jens Gustedt .
  Inline functions accessing identifiers declared with constexpr.
  2024.
• Jens Gustedt .
  Tail recursion for preprocessor macros.
  2024.
• Jens Gustedt .
  Remove imaginary types.
  2024.
• Jens Gustedt .
  Code examples for the book Modern C, revised for C23.
  2024.
• Jens Gustedt .
  Clarify syntactic terms for array declarators.
  2024.
• 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 .
  Guix-HPC Activity Report 2022–2023Rapport d’activités Guix-HPC 2022–2023.
  2024.

2023

• Clément Rossetti, Philippe Clauss .
  Algebraic Tiling.
  IMPACT 2023, 13th International Workshop on Polyhedral Compilation Techniques
  2023.
• Alexandre Moine, Arthur Charguéraud, François Pottier .
  A High-Level Separation Logic for Heap Space under Garbage Collection (Extended Version).
  Proceedings of the ACM on Programming Languages , 7 (POPL) :718-747 2023.
  DOI: 10.1145/3571218
• Emmanuel Agullo, Alfredo Buttari, Marek Felšöci, Guillaume Sylvand .
  Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses.
  COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2023.
• Arthur Charguéraud .
  A Modern Eye on Separation Logic for Sequential ProgramsUn nouveau regard sur la Logique de Séparation pour les programmes séquentiels.
  2023.
• Jens Gustedt, Martin Uecker .
  Identifying array length state.
  2023.
• Jens Gustedt .
  Extensions to the preprocessor for C2Y.
  2023.
• Hayfa Tayeb, Ludovic Paillat, Bérenger Bramas .
  Autovesk: Automatic vectorized code generation from unstructured static kernels using graph transformations.
  ACM Transactions on Architecture and Code Optimization 2023.
  DOI: 10.1145/3631709
• Arun Thangamani, Tiago Trevisan, Vincent Loechner, Stephane Genaud, Bérenger Bramas .
  Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology.
  21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO ’23)
  2023.
  DOI: 10.1145/3579990.3580008
• Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter .
  Omnisemantics: Smooth Handling of Nondeterminism.
  ACM Transactions on Programming Languages and Systems (TOPLAS) , 45 (1) :1-43 2023.
  DOI: 10.1145/3579834
• Jens Gustedt .
  The future of imaginary types.
  2023.
• Camilla Fiorini, Clément Flint, Louis Fostier, Emmanuel Franck, Reyhaneh Hashemi, Victor Michel-Dansac, Wassim Tenachi .
  Generalizing the SINDy approach with nested neural networks.
  CEMRACS 2023 - Scientific Machine Learning
  2023.
  DOI: 10.1051/proc/202581168
• Jens Gustedt, Martin Uecker .
  Initialization, allocation and effective type.
  2023.
• Tom Hammer, Vincent Loechner .
  PolyLingual: a Programmable Polyhedral Scheduler.
  IMPACT 2023
  2023.
• Martin Uecker, Jens Gustedt .
  Parameter Forward Declarations.
  2023.
• Jens Gustedt .
  A Provenance-aware memory object model for C (slides).
  2023.
• Tiago Trevisan Jost, Arun Thangamani, Raphaël Colin, Vincent Loechner, Stéphane Genaud, Bérenger Bramas .
  GPU Code Generation of Cardiac Electrophysiology Simulation with MLIR.
  Euro-Par 2023: Parallel Processing
  2023.
  DOI: 10.1007/978-3-031-39698-4_37
• Guillaume Bertholon, Arthur Charguéraud .
  An AST for Representing Programs with Invariants and Proofs.
  JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs
  2023.
• Jens Gustedt .
  Simple TU initialization and cleanup handling with dependencies.
  2023.
• Thomas Koehler, Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian .
  OptiTrust: an Interactive Optimization Framework.
  2023.
• Jens Gustedt, Martin Uecker .
  Clarify array length specifications and sizeof expressions.
  2023.
• Anastasios Souris, Bérenger Bramas, Philippe Clauss .
  Extending the Task Dataflow Model with Speculative Data Accesses.
  COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2023.
• Cédric Bastoul, Alain Ketterlin, Vincent Loechner .
  Superloop Scheduling: Loop Optimization via Direct Statement Instance Reordering.
  IMPACT 2023
  2023.

2022

• Alex Gilding, Jens Gustedt .
  Introduce storage-class specifiers for compound literals.
  2022.
• Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann A Barsamian .
  OptiTrust: an Interactive Framework for Source-to-Source Transformations.
  2022.
• Clément Flint, Bérenger Bramas, Ludovic Paillat .
  Automated prioritizing heuristics for parallel task graph scheduling in heterogeneous computing.
  PeerJ Computer Science , 8 :e969 2022.
  DOI: 10.7717/peerj-cs.969
• Cristian Lalescu, Bérenger Bramas, Markus Rampp, Michael Wilczek .
  An efficient particle tracking algorithm for large-scale parallel pseudo-spectral simulations of turbulence.
  Computer Physics Communications , 278 :108406 2022.
  DOI: 10.1016/j.cpc.2022.108406
• Jens Gustedt .
  Options for lambdas.
  2022.
• Jens Gustedt, JeanHeyd Meneide .
  Introduce the nullptr constant.
  2022.
• Jens Gustedt .
  Remove ATOMIC VAR INIT.
  2022.
• 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 .
  Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach.
  Microprocessors and Microsystems: Embedded Hardware Design , 95 :104679 2022.
  DOI: 10.1016/j.micpro.2022.104679
• Jens Gustedt .
  Type-generic lambdas.
  2022.
• Jens Gustedt .
  Make false and true first-class language features.
  2022.
• Alex Gilding, Jens Gustedt .
  Type inference for object definitions.
  2022.
• Alex Gilding, Jens Gustedt .
  The constexpr specifier for object definitions.
  2022.
• Étienne Alepins, Jens Gustedt .
  Unsequenced functions.
  2022.
• Alex Gilding, Jens Gustedt .
  Underspecified object declarations.
  2022.
• Alexandre Moine, Arthur Charguéraud, François Pottier .
  Specification and Verification of a Transient Stack.
  CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
  2022.
  DOI: 10.1145/3497775.3503677
• Clément Flint, Bérenger Bramas, Stephane Genaud, Philippe Helluy .
  Parallelization of the Lattice-Boltzmann schemes using the task-based method.
  COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2022.
• Matthieu Boileau, Bérenger Bramas, Emmanuel Franck, Romane Hélie, Philippe Helluy, Laurent Navoret .
  Parallel kinetic scheme in complex toroidal geometry.
  SMAI Journal of Computational Mathematics :249-271 2022.
  DOI: 10.5802/smai-jcm.86
• Jens Gustedt .
  Revise spelling of keywords.
  2022.
• Jens Gustedt .
  Primary expressions and constant expressions, clarification request.
  2022.
• Jens Gustedt .
  Require exact-width integer type interfaces.
  2022.
• Jens Gustedt .
  Pointers and integer types.
  2022.
• Jens Gustedt .
  Improve type generic programming (slides).
  2022.
• Hayfa Tayeb, Bérenger Bramas, Abdou Guermouche, Mathieu Faverge .
  MulTreePrio: Scheduling task-based applications for heterogeneous computing systems.
  COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système
  2022.
• Jens Gustedt .
  Type inference for variable definitions and function returns.
  2022.
• Jens Gustedt .
  Add new optional time bases.
  2022.
• Jens Gustedt, Martin Uecker .
  Properly define blocks as part of the grammar.
  2022.
• Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker .
  A Provenance-aware Memory Object Model for C.
  2022.
• Jens Gustedt .
  Basic lambdas for C.
  2022.
• Jens Gustedt .
  Improve type generic programming.
  2022.
• Basile Sauvage, Stéphane Genaud, Arash Habibi, Vincent Loechner, Pierre-Olivier Simonard .
  Émergence d'un leadership distribué pour la construction d'un enseignement.
  AIPU22 - 32ème Congrès de l'Association Internationale de Pédagogie Universitaire
  2022.
• Jens Gustedt .
  Type inference for variables and functions (slides).
  2022.

2021

• Sleimane Hariri, Jens Gustedt, Sylvain Weill, Isabelle Charpentier .
  A Hybrid Breaching-Filling method for sink removal adapted to parallel hydrological simulations.
  2021.
  DOI: 10.5194/egusphere-egu21-7849
• Jens Gustedt .
  Make call_once mandatory.
  2021.
• Salwa Kobeissi .
  Speculative Rewriting of Recursive Programs as Loop Candidates for Efficient Parallelization and Optimization Using an Inspector-Executor MechanismRéécriture spéculative de programmes récursifs en boucles candidates à une parallélisation et une optimisation efficaces utilisant un mécanisme inspecteur-exécuteur.
  2021.
• Martin Uecker, Jens Gustedt .
  Wide Function Pointer Types for Pairing Code and Data.
  2021.
• Jens Gustedt .
  Function literals and value closures.
  2021.
• Jens Gustedt .
  Enforce storage stability (slides).
  2021.
• Jens Gustedt .
  Add annotations for unreachable control flow (slides).
  2021.
• Jens Gustedt .
  Only reserve names of optional functions if necessary.
  2021.
• Jens Gustedt, Robert C Seacord .
  C language mechanism for error handling and deferred cleanup.
  SAC 2021 - 36th ACM/SIGAPP Symposium on Applied Computing
  2021.
  DOI: 10.1145/3412841.3442116
• Robert C Seacord, Steve Downey, Jens Gustedt, Peter Bindels .
  Identifier Syntax using Unicode Standard Annex 31.
  2021.
• Martin Uecker, Jens Gustedt .
  Indeterminate Values and Trap Representations.
  2021.
• 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 .
  TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale.
  DSD 2021 - 24th Euromicro Conference on Digital System Design
  2021.
  DOI: 10.1109/DSD53832.2021.00051
• Nimish Pujara, José-Agustín Arguedas-Leiva, Cristian C Lalescu, Bérenger Bramas, Michael Wilczek .
  Shape- and scale-dependent coupling between spheroids and velocity gradients in turbulence.
  Journal of Fluid Mechanics , 922 2021.
  DOI: 10.1017/jfm.2021.543
• Jens Gustedt .
  Enforce storage stability.
  2021.
• Jens Gustedt .
  Lvalue closures.
  2021.
• Alexandre Moine, Arthur Charguéraud, François Pottier .
  Specification and Verification of a Transient Stack (Artifact).
  2021.
• Jens Gustedt .
  Types and sizes.
  2021.
• Jens Gustedt, Robert C Seacord .
  A simple defer feature for C.
  2021.
• Jens Gustedt .
  Basic lambdas for C (slides).
  2021.
• Paul Godard, Vincent Loechner, Cédric Bastoul .
  Efficient Out-of-core and Out-of-place Rectangular Matrix Transposition and Rotation.
  IEEE Transactions on Computers , 70 (11) :7 2021.
  DOI: 10.1109/TC.2020.3030592
• Jens Gustedt, Martin Uecker .
  Disambiguate the storage class of some compound literals.
  2021.
• Bérenger Bramas .
  A fast vectorized sorting implementation based on the ARM scalable vector extension (SVE).
  PeerJ Computer Science 2021.
  DOI: 10.7717/peerj-cs.769
• Jens Gustedt .
  A Common C/C++ Core Specification.
  2021.
• Jens Gustedt .
  Add annotations for unreachable control flow.
  2021.

2020

• Bérenger Bramas, Muhammad Hassan, Benjamin Stamm .
  An Integral Equation Formulation of the $N$-Body Dielectric Spheres Problem. Part II: Complexity Analysis.
  ESAIM: Mathematical Modelling and Numerical Analysis 2020.
  DOI: 10.1051/m2an/2020055
• Bérenger Bramas .
  TBFMM: A C++ generic and parallel fast multipole method library.
  Journal of Open Source Software , 5 (56) :2444 2020.
  DOI: 10.21105/joss.02444
• Toufik Baroudi, Vincent Loechner, Rachid Seghir .
  Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels.
  2020.
• Bérenger Bramas, Alain Ketterlin .
  Improving parallel executions by increasing task granularity in task-based runtime systems using acyclic DAG clustering.
  PeerJ Computer Science 2020.
  DOI: 10.7717/peerj-cs.247
• Jens Gustedt .
  C source-to-source compiler enhancement from withinAmélioration source-à-source de compilateurs C.
  2020.
• Salwa Kobeissi, Alain Ketterlin, Philippe Clauss .
  Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy.
  2020.
  DOI: 10.1007/978-3-030-60939-9_7
• Benoit Meister, Philippe Clauss .
  Uniform Random Sampling in Polyhedra.
  IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques
  2020.
• Aaron Ballman, Alex Gilding, Jens Gustedt, Tom Scogland, Robert C. Seacord, Martin Uecker, Freek Wiedijk .
  Defer Mechanism for {C}.
  2020.
• Loïc Cuvillon, Xavier Weber, Jacques Gangloff .
  Modal Control for Active Vibration Damping of Cable-Driven Parallel Robots.
  Journal of Mechanisms and Robotics , 12 2020.
  DOI: 10.1115/1.4046434
• Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, Philippe Clauss .
  Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer.
  CC 2020 - 29th International Conference on Compiler Construction
  2020.
  DOI: 10.1145/3377555.3377886
• Garip Kusoglu, Bérenger Bramas, Stéphane Genaud .
  Automatic task-based parallelization of C++ applications by source-to-source transformations.
  Compas 2020 - Conférence francophone en informatique
  2020.
• Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi .
  Competing inheritance paths in dependent type theory: a case study in functional analysis.
  IJCAR 2020 - International Joint Conference on Automated Reasoning
  2020.
  DOI: 10.1007/978-3-030-51054-1_1
• Bérenger Bramas .
  Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE).
  2020.
• Toufik Baroudi, Vincent Loechner, Rachid Seghir .
  Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels.
  IMPACT 2020, in conjunction with HiPEAC 2020
  2020.
• Harenome Razanajato, Cédric Bastoul, Vincent Loechner .
  Pipelined Multithreading Generation in a Polyhedral Compiler.
  IMPACT 2020, in conjunction with HiPEAC 2020
  2020.
• Arthur Charguéraud .
  Separation Logic for Sequential Programs.
  Proceedings of the ACM on Programming Languages , 4 2020.
  DOI: 10.1145/3408998
• Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa M Badia .
  AutoParallel: Automatic parallelisation and distributed execution of affine loop nests in Python.
  International Journal of High Performance Computing Applications , 34 (6) :1 - 14 2020.
  DOI: 10.1177/1094342020937050
• Bérenger Bramas, Quentin Bramas .
  On the improvement of the in-place merge algorithm parallelization.
  2020.
• Bérenger Bramas, Philippe Helluy, Laura Mendoza, Bruno Weber .
  Optimization of a discontinuous Galerkin solver with OpenCL and StarPU.
  International Journal on Finite Volumes , 15 (1) :1-19 2020.
• Jens Gustedt, Robert C Seacord .
  Deferred cleanup and error handling in CNettoyage et traitement d'erreur différés pour le langage C.
  2020.
• Harenome Razanajato .
  Polyhedral Code Generation: Reducing Overhead and Increasing ParallelismGénération de code polyédrique efficace : vers plus de parallélisme et moins de contrôle.
  2020.

2019

• Maxime Schmitt, Philippe Helluy, Cédric Bastoul .
  Think Unlimited and Compress Data Automatically.
  COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système
  2019.
• Jens Gustedt .
  Remove conditional "WANT" macros from numbered clauses proposal for C2x.
  2019.
• Jean-François Bastien, Jens Gustedt .
  Moving to two's complement sign representation.
  2019.
• Peter Sewell, Kayvan Memarian, Victor B F Gomes, Jens Gustedt, Martin Uecker .
  C provenance semantics: examples.
  2019.
• Arthur Charguéraud, François Pottier .
  Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits.
  Journal of Automated Reasoning , 62 (3) :331--365 2019.
  DOI: 10.1007/s10817-017-9431-7
• Niall Douglas, Jens Gustedt .
  Function failure annotation.
  2019.
• Pascal Schreck, Pascal Mathis .
  Using jointly geometry and algebra to determine RC-constructibility.
  Journal of Symbolic Computation , 90 :124-148 2019.
  DOI: 10.1016/j.jsc.2018.04.006
• Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, François Pottier .
  Formal Proof and Analysis of an Incremental Cycle Detection Algorithm.
  Interactive Theorem Proving
  2019.
• Jean-François Bastien, Jens Gustedt .
  Two's complement sign representation for C2x.
  2019.
• Jens Gustedt .
  Clean up atomics, non-normative changes.
  2019.
• Bérenger Bramas .
  Impact study of data locality on task-based applications through the Heteroprio scheduler.
  PeerJ Computer Science , 5 :e190 2019.
  DOI: 10.7717/peerj-cs.190
• Jens Gustedt .
  Unify string representation functions.
  2019.
• Jens Gustedt .
  Align spelling of keywords with C++ and make them feature tests proposal for C2x.
  2019.
• Lars Gullik Bjønnes, Jens Gustedt .
  Remove support for function definitions with identifier lists.
  2019.
• Jens Gustedt .
  Contain the floating point naming explosion.
  2019.
• Umut A Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey .
  Provably and Practically Efficient Granularity Control.
  PPoPP 2019 - Principles and Practice of Parallel Programming
  2019.
  DOI: 10.1145/3293883.3295725
• Bérenger Bramas .
  Increasing the degree of parallelism using speculative execution in task-based runtime systems.
  PeerJ Computer Science , 5 :e183 2019.
  DOI: 10.7717/peerj-cs.183
• Jens Gustedt .
  Introduce the term storage instance.
  2019.
• Paul Godard, Vincent Loechner, Cédric Bastoul, Frederic Soulier, Guillaume Muller .
  A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation.
  IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum
  2019.
  DOI: 10.1109/IPDPSW.2019.00120
• Jens Gustedt .
  intmax\_t, a way out.
  2019.
• Maxime Schmitt, Philippe Helluy, Cédric Bastoul .
  Automatic adaptive approximation for stencil computations.
  CC 2019 - 28th International Conference on Compiler Construction
  2019.
  DOI: 10.1145/3302516.3307348
• Christian Ronse, Mohamed Tajine, Loïc Mazo .
  Correspondence between Topological and Discrete Connectivities in Hausdorff Discretization.
  Mathematical Morphology - Theory and Applications , 3 :1-28 2019.
  DOI: 10.1515/mathm-2019-0001
• Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira .
  GOSPEL -Providing OCaml with a Formal Specification Language.
  FM 2019 - 23rd International Symposium on Formal Methods
  2019.
• Emmanuelle Claeys, Myriam Maumy-Bertrand, Pierre Gancarski .
  Gestion des logs dans les problèmes de Bandits Contextuels.
  Les 51es Journées de Statistique
  2019.
• Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor B F Gomes, Martin Uecker .
  Moving to a provenance-aware memory object model for C: proposal for C2x.
  2019.
• Paul Godard .
  Échanges non bloquants de données ordonnées entre producteurs multiples et consommateur unique.
  COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système
  2019.
• Jens Gustedt .
  Synchronization at thread and execution termination.
  2019.
• Larry Jones, Jens Gustedt .
  ISO/IEC 9899 editor report November 2019.
  2019.
• Jens Gustedt .
  Out-of-band bit for exceptional return and errno replacement.
  2019.
• Isabelle Charpentier, Jens Gustedt .
  Arbogast: 'du calcul des dérivations' to higher order AD.
  Journée du GDR Calcul
  2019.
• Sleimane Hariri, Sylvain Weill, Jens Gustedt, Isabelle Charpentier .
  Pairing GIS and Distributed Hydrological Models Using MATLAB.
  2nd Conference of the Arabian Journal of Geosiences (CAJG 2019)
  2019.
  DOI: 10.1007/978-3-030-72543-3_103
• Isabelle Charpentier, Rémi Barbier, Sara Fernandez, François-Joseph Daniel, Sandrine Glatron, Jens Gustedt, Dimitri Heintz, Julien Laurent, Sylvain Weill .
  Evaluating the impact of modeling uncertainties on decision makers: application to the Maginot's Water Line resources.
  ILTER Open Science Meeting
  2019.
• Jens Gustedt, Maxime Mogé .
  Memory access classification for vertical task parallelism.
  PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
  2019.
• Clémentine Hugol-Gential, Marie Simon, Aurélie Bertaux, Ouassila Labbani, Rami Belkaroui, Christophe Nicolle .
  De la science à l’expérience, la pluralité des savoirs en viticulture : le cas des maladies.
  Univigne
  2019.
• Larry Jones, Jens Gustedt .
  ISO/IEC 9899 editor report March 2019.
  2019.
• Jens Gustedt .
  Add an interface to query resolution of time bases.
  2019.
• Jens Gustedt .
  Modernize time.h functions.
  2019.
• Bérenger Bramas .
  SPETABARU: A Task-based Runtime System with Speculative Execution Capability.
  SIAM CSE 2019 - SIAM Conference on Computational Science and Engineering
  2019.
• Salwa Kobeissi, Philippe Clauss .
  The Polyhedral Model Beyond Loops Recursion Optimization and Parallelization Through Polyhedral Modeling.
  IMPACT 2019 - 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2019
  2019.

2018

• Arthur Charguéraud, Alan Schmitt, Thomas Wood .
  JSExplain: A Double Debugger for JavaScript.
  The Web Conference 2018
  2018.
  DOI: 10.1145/3184558.3185969
• Maxime Schmitt, Cédric Bastoul, Philippe Helluy .
  A language extension set to generate adaptive versions automatically.
  Oil & Gas Science and Technology - Revue d'IFP Energies nouvelles , 73 :52 2018.
  DOI: 10.2516/ogst/2018049
• Isabelle Charpentier, Jens Gustedt .
  Arbogast: Higher order automatic differentiation for special functions with Modular CArbogast : DA d’ordre élevé avec Modular C pour des fonctions spéciales.
  Optimization Methods and Software , 33 (4-6) :963-987 2018.
  DOI: 10.1080/10556788.2018.1428603
• Jens Gustedt, Maxime Mogé .
  Memory access classification for vertical task parallelismClassification d’accès mémoire pour la parallélisation verticale en tâches.
  2018.
• Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul .
  Visual Program Manipulation in the Polyhedral Model.
  ACM Transactions on Architecture and Code Optimization , 15 (1) :1 - 25 2018.
  DOI: 10.1145/3177961
• Jens Gustedt .
  Clean up atomics.
  2018.
• The Coq Development Team .
  The Coq Proof Assistant, version 8.8.0.
  2018.
  DOI: 10.5281/zenodo.1219885
• Umut A Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski .
  Heartbeat scheduling: provable efficiency for nested parallelism.
  PLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
  2018.
  DOI: 10.1145/3192366.3192391
• Loïc Mazo .
  Multi-scale arithmetization of linear transformations.
  Journal of Mathematical Imaging and Vision , 61 :432–442 2018.
  DOI: 10.1007/s10851-018-0853-6
• Armaël Guéneau, Arthur Charguéraud, François Pottier .
  A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.
  ESOP 2018 - 27th European Symposium on Programming
  2018.
  DOI: 10.1007/978-3-319-89884-1_19
• Luke Bertot, Stéphane Genaud, Julien Gossa .
  Improving Cloud Simulation using the Monte-Carlo Method.
  Euro-Par 24th International Conference on Parallel and Distributed Computing
  2018.
  DOI: 10.1007/978-3-319-96983-1_29
• Yann A Barsamian, Joackim Bernier, Sever Adrian Hirstoaga, Michel Mehrenberger .
  Verification of 2D × 2D and two-species Vlasov-Poisson solvers.
  ESAIM: Proceedings and Surveys , 63 :78-108 2018.
  DOI: 10.1051/proc/201863078
• Michele Diana, Eric Noll, Andras Legner, Seong-Ho Kong, Yu-Yin Liu, Luigi Schiraldi, Francesco Marchegiani, Jordan Bano, Bernard Geny, Anne-Laure Charles, Bernard Dallemagne, Veronique Lindner, Didier Mutter, Pierre Diemunsch, Jacques Marescaux .
  Impact of valve-less vs. standard insufflation on pneumoperitoneum volume, inflammation, and peritoneal physiology in a laparoscopic sigmoid resection experimental model.
  Surgical Endoscopy , 32 (7) :3215-3224 2018.
  DOI: 10.1007/s00464-018-6039-x
• Cristian Ramon-Cortes, Ramon Amela, Jorge Ejarque, Philippe Clauss, Rosa Badia .
  AutoParallel: A Python module for automatic parallelization and distributed execution of affine loop nests.
  PyHPC 2018 - 8th Workshop on Python for High-Performance and Scientific Computing
  2018.
• Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer .
  MoSeL: a general, extensible modal framework for interactive proofs in separation logic.
  International Conference on Functional Programming (ICFP 2018)
  2018.
  DOI: 10.1145/3236772
• Yann A Barsamian, Arthur Charguéraud, Sever Adrian Hirstoaga, Michel Mehrenberger .
  Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-Core SIMD Processors.
  Euro-Par 2018 - 24th International European Conference on Parallel and Distributed Computing
  2018.
  DOI: 10.1007/978-3-319-96983-1_53
• Mariem Saied .
  Automatic code generation and optimization of multi-dimensional stencil computations on distributed-memory architecturesGénération automatique de code et optimisation de calculs stencils sur des architectures à mémoire distribuée.
  2018.
  DOI: 10.70675/00af040az1873z4e5dza5b3z1e835dc49caf
• Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone .
  Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
  IFM 2018 - 14th International Conference on integrated Formal Methods
  2018.
• Manuel Selva, Julien Pagès, Philippe Clauss .
  Polyhedral Optimization For JavaScript: The Challenges.
  IMPACT 2018 - 8th International Workshop on Polyhedral Compilation Techniques
  2018.
• Maximilian Lesellier, Loic Cuvillon, Jacques Gangloff, Marc Gouttefarde .
  An active stabilizer for cable-driven parallel robot vibration damping.
  IROS: Intelligent RObots and Systems
  2018.
  DOI: 10.1109/IROS.2018.8594148
• Yann A Barsamian, Sever Adrian Hirstoaga, Eric Violard .
  Efficient Data Layouts for a Three-Dimensional Electrostatic Particle-in-Cell Code.
  Journal of computational science , 27 :345--356 2018.
  DOI: 10.1016/j.jocs.2018.06.004

2017

• Toufik Baroudi, Rachid Seghir, Vincent Loechner .
  Optimization of Triangular and Banded Matrix Operations Using 2d-Packed Layouts.
  ACM Transactions on Architecture and Code Optimization , 14 (4) :1 - 19 2017.
  DOI: 10.1145/3162016
• Yann A Barsamian, Sever Adrian Hirstoaga, Eric Violard .
  Efficient Data Structures for a Hybrid Parallel and Vectorized Particle-in-Cell Code.
  IPDPSW 2017 - IEEE International Parallel and Distributed Processing Symposium Workshops
  2017.
  DOI: 10.1109/IPDPSW.2017.74
• Maxime Schmitt, Philippe Helluy, Cédric Bastoul .
  Adaptive Code Refinement: A Compiler Technique and Extensions to Generate Self-Tuning Applications.
  HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics
  2017.
• Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, François Pottier .
  VOCAL – A Verified OCAml Library.
  2017.
• Maxime Schmitt, César Sabater, Cédric Bastoul .
  Semi-Automatic Generation of Adaptive Codes.
  IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques
  2017.
• Juan Manuel Martinez Caamaño, Aravind Sukumaran-Rajam, Artiom Baloian, Manuel Selva, Philippe Clauss .
  APOLLO: Automatic speculative POLyhedral Loop Optimizer.
  IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques
  2017.
• Nadège Corbin, Élodie Breton, Michel de Mathelin, Jonathan Vappou .
  An alternative to phase image-based Magnetic Resonance Elastography (MRE) using k-space data processing.
  25th annual meeting of the International Society for Magnetic Resonance in Medicine, 22-27 April 2017, Honolulu, HI, USA
  2017.
• Harenome Razanajato, Cédric Bastoul, Vincent Loechner .
  Lifting Barriers Using Parallel Polyhedral Regions.
  HiPC 2017 - 24th International Conference on High Performance Computing, Data, and Analytics
  2017.
• Nicolas Magaud .
  Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations.
  CoqPL 2017: The Third International Workshop on Coq for Programming Languages
  2017.
  DOI: 10.1145/nnnnnnn.nnnnnnn
• Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri .
  Automatic, Abstracted and Portable Topology-Aware Thread Placement.
  IEEE Cluster
  2017.
  DOI: 10.1109/CLUSTER.2017.71
• Arthur Charguéraud, Mike Rainey .
  Efficient Representations for Large Dynamic Sequences in ML.
  2017.
• Yann A Barsamian, Arthur Charguéraud, Alain Ketterlin .
  A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method.
  PPAM 2017 - 12th International Conference on Parallel Processing and Applied Mathematics
  2017.
  DOI: 10.1007/978-3-319-78024-5_13
• Arthur Charguéraud, François Pottier .
  Temporary Read-Only Permissions for Separation Logic.
  Proceedings of the 26th European Symposium on Programming (ESOP 2017)
  2017.
  DOI: 10.1007/978-3-662-54434-1_10
• Harenome Razanajato, Vincent Loechner, Cédric Bastoul .
  Splitting Polyhedra to Generate More Efficient Code.
  IMPACT 2017, 7th International Workshop on Polyhedral Compilation Techniques
  2017.
• Emmanuelle Claeys, Pierre Gancarski, Myriam Maumy-Bertrand, Hubert Wassner .
  Regression tree for bandits models in A/B testing.
  2017.
• Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artiom Baloian, Willy Wolff .
  Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones.
  Concurrency and Computation: Practice and Experience , 29 (15) 2017.
  DOI: 10.1002/cpe.4192
• Nabil Hallou, Erven Rohou, Philippe Clauss .
  Runtime Vectorization Transformations of Binary Code.
  International Journal of Parallel Programming , 8 (6) :1536 - 1565 2017.
  DOI: 10.1007/s10766-016-0480-z
• Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset .
  CalMAR -a Multi-Application Dataflow Runtime.
  Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17
  2017.
  DOI: 10.1145/3125503.3125562
• Philippe Clauss, Ervin Altintas, Matthieu Kuhn .
  Automatic Collapsing of Non-Rectangular Loops.
  Parallel and Distributed Processing Symposium (IPDPS), 2017
  2017.
  DOI: 10.1109/IPDPS.2017.34

2016

• Aravind Sukumaran-Rajam, Philippe Clauss .
  The Polyhedral Model of Nonlinear Loops.
  ACM Transactions on Architecture and Code Optimization , 12 (4) 2016.
  DOI: 10.1145/2838734
• Nadège Corbin, Simon Chatelin, Élodie Breton, Isabelle Charpentier, Michel de Mathelin, Jonathan Vappou .
  Nouveaux outils pour la caractérisation in vivo des tissus mous.
  2016.
• Lénaïc Bagnères, Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul .
  Opening Polyhedral Compiler's Black Box.
  CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization
  2016.
  DOI: 10.1145/2854038.2854048
• Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri .
  Optimizing Locality by Topology-aware Placement for a Task Based Programming Model.
  2016.
  DOI: 10.1109/CLUSTER.2016.87
• Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil .
  Resource-Centered Distributed Processing of Large Histopathology Images.
  2016.
• Farouk Mansouri, Jens Gustedt .
  Le modèle de programmation ORWL pour la parallélisation d'une application de suivi vidéo HD sur architecture multi-coeurs.
  Conf{\'e}rence d'informatique en Parall{\'e}lisme, Architecture et Syst{\`e}me (COMPAS)
  2016.
• Juan Manuel Martinez Caamaño, Willy Wolff, Philippe Clauss .
  Code Bones: Fast and Flexible Code Generation for Dynamic and Speculative Polyhedral Optimization.
  Euro-Par 2016
  2016.
  DOI: 10.1007/978-3-319-43659-3_17
• Cédric Bastoul .
  Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality.
  CC'2016 25th International Conference on Compiler Construction
  2016.
  DOI: 10.1145/2892208.2892216
• Mariem Saied, Jens Gustedt, Gilles Muller .
  Automatic Code Generation for Iterative Multi-dimensional Stencil ComputationsGénération automatique de programmes pour des calcul multi-dimensionnels de type stencil.
  High Performance Computing, Data, and Analitics
  2016.
• Juan Manuel Martinez Caamaño .
  Fast and flexible compilation techniques for effective speculative polyhedral parallelizationTechniques de compilation flexibles et rapides pour la parallelization polyédrique et spéculative.
  2016.
• Jens Gustedt, Emmanuel Jeannot, Farouk Mansouri .
  Fully-abstracted affinity optimization for task-based modelsAbstraction complète de l'optimization de l'affinité pour des modèles à base de tâches.
  2016.
• Daniel Vizer, Guillaume Mercère, Olivier Prot, Edouard Laroche .
  H -norm-based optimization for the identification of gray-box LTI state-space model parameters.
  Systems and Control Letters , 92 :34 - 41 2016.
  DOI: 10.1016/j.sysconle.2016.03.003
• Nadège Corbin, Jonathan Vappou, Pramod Prabhakar Rao, Benoit Wach, Laurent Barbé, Pierre Renaud, Michel de Mathelin, Élodie Breton .
  In vivo monitoring of percutaneous thermal ablation by simultaneous MR Elastography and Thermometry.
  24th annual meeting of the International Society for Magnetic Resonance in Medicine (ISMRM), 07-13 May 2016, Singapour
  2016.
• Daniel Salas, Jens Gustedt, Daniel Racoceanu, Isabelle Perseil .
  Resource-Centered Distributed Processing of Large Histopathology ImagesCalcul distribué centré resources pour de larges images histopathologiques.
  19th IEEE International Conference on Computational Science and Engineering
  2016.
• Ryad Chellal, Loïc Cuvillon, Edouard Laroche .
  Model identification and vision-based H\(_\infty\) position control of 6-DoF cable-driven parallel robots.
  International Journal of Control , 90 (4) 2016.
  DOI: 10.1080/00207179.2016.1220623
• Yann Barsamian .
  Maximum Subarray Problem in 1D and 2D via Weighted Paths in Directed Acyclic Graphs.
  2016.
• Soumeya Leila Hernane, Jens Gustedt .
  Transparent distributed data management in large scale distributed systems.
  2016.
• David Castells-Rufas, Cedric Bastoul .
  Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HiP3ES).
  Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2016. Prague, January 18th.
  2016.
  DOI: 10.48550/arXiv.1602.03404
• Isabelle Charpentier, Jean-Pierre Friedelmeyer, Jens Gustedt .
  Arbogast – Origine d'un outil de dérivation automatique.
  2016.
• Umut A Acar, Arthur Charguéraud, Mike Rainey .
  Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages.
  Journal of Functional Programming , 26 2016.
  DOI: 10.1017/S0956796816000101
• Jens Gustedt .
  Futex based locks for C11's generic atomics (extended abstract)Verrous basés sur futex pour les opérations atomiques génériques de C11 (résumé étendue).
  The 31st Annual ACM Symposium on Applied Computing
  2016.
  DOI: 10.1145/2851613.2851956

2015

• Simon Chatelin, Nadège Corbin, Isabelle Charpentier, Jonathan Vappou .
  An automatic differentiation of the 1D viscoelastic Green's functions for magnetic resonance elastography reconstruction in anisotropic tissue.
  2015.
• Tran Thanh Ngo, Christophe Collet, Vincent Mazet .
  Détection simultanée de l’ombre et la végétation sur des images aériennes couleur en haute résolution.
  Traitement du Signal , 32 (2-3) 2015.
• Jens Gustedt .
  Modular C.
  2015.
• David Keaton, Jens Gustedt .
  Underspecified Aspects of Threads in C.
  2015.
• Philippe Clauss .
  Mind The Gap! A study of some pitfalls preventing peak performance in polyhedral compilation using a polyhedral antidote.
  IMPACT 2015, Fifth International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC 2015
  2015.
• Minh Son Phan, Etienne Baudrier, Loïc Mazo, Mohamed Tajine .
  Estimation of angular difference between tomographic projections taken at unknown directions in 3D.
  2015 IEEE International Conference on Image Processing (ICIP)
  2015.
  DOI: 10.1109/ICIP.2015.7350762
• Jean-François Dollinger, Vincent Loechner .
  CPU+GPU Load Balance Guided by Execution Time Prediction.
  Fifth International Workshop on Polyhedral Compilation Techniques (IMPACT 2015)
  2015.
• Cédric Bastoul, César Sabater .
  Automatic Generation of Adaptive Simulation Codes.
  SimRace, Conference on Numerical Methods and High Performance Computing for Industrial Fluid Flows
  2015.
• Tomasz Buchert, Lucas Nussbaum, Jens Gustedt .
  Towards Complete Tracking of Provenance in Experimental Distributed Systems Research.
  REPPAR - Second International Workshop on Reproducibility in Parallel Computing -- held together with Euro-Par
  2015.
• Soumeya Leila Hernane, Jens Gustedt, Mohamed Benyettou .
  Data handover on a peer-to-peer system.
  2015.
• Aravind Sukumaran-Rajam, Luis Esteban Campostrini, Martinez Juan Manuel, Philippe Clauss .
  Speculative Runtime Parallelization of Loop Nests: Towards Greater Scope and Efficiency.
  20th International Workshop on High-level Parallel Programming Models and Supportive Environments, held in conjunction with 29th IEEE International Parallel & Distributed Processing Symposium
  2015.
• Jens Gustedt .
  Futex based locks for C11's generic atomicsVerrous basés sur futex pour les opérations atomiques génériques de C11.
  2015.
• Jean-François Dollinger .
  A framework for efficient execution on GPU and CPU+GPU systemsUn framework pour l'exécution efficace d'applications sur GPU et CPU+GPU.
  2015.
• Imen Fassi .
  XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop OptimizationsXFOR (Multifor): Une nouvelle structure de programmation pour faciliter la formulation d'optimisations de boucles efficaces.
  2015.
• Oleksandr Zinenko, Cédric Bastoul, Stéphane Huot .
  Manipulating Visualization, Not Codes.
  International Workshop on Polyhedral Compilation Techniques (IMPACT)
  2015.
• Nabil Hallou, Erven Rohou, Philippe Clauss, Alain Ketterlin .
  Dynamic Re-Vectorization of Binary Code.
  International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XV
  2015.
• Marc Eduard Frincu, Stéphane Genaud, Julien Gossa .
  Client-side resource management on the cloud: survey and future directions.
  IJCC - International Journal of Cloud Computing , 4 (3) :234-257 2015.
  DOI: 10.1504/IJCC.2015.071728
• Imen Fassi, Philippe Clauss .
  XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance.
  14th International Symposium on Parallel and Distributed Computing
  2015.
  DOI: 10.1109/ISPDC.2015.19

2014

• Aravind Sukumaran-Rajam, Juan Manuel Martinez, Willy Wolff, Alexandra Jimborean, Philippe Clauss .
  Speculative Program Parallelization with Scalable and Decentralized Runtime Verification.
  Runtime Verification
  2014.
  DOI: 10.1007/978-3-319-11164-3_11
• Slim Awali, Lionel Poisson, Benoît Soep, Marc Gaveau, Marc Briant, Christophe Pothier, Jean-Michel Mestdagh, Mounir Ben El Hadj Rhouma, Majdi Hochlaf, Vincent Mazet, Sylvain Faisan .
  Time resolved observation of the solvation dynamics of a Rydberg excited molecule deposited on an argon cluster-I: DABCO ☆ at short times.
  Physical Chemistry Chemical Physics , 16 (2) :516 - 526 2014.
  DOI: 10.1039/C3CP53172D
• Michel Massaro, Philippe Helluy, Vincent Loechner .
  Numerical simulation for the MHD system in 2D using OpenCL.
  ESAIM: Proceedings , 45 :485-492 2014.
  DOI: 10.1051/proc/201445050
• Emmanuel Riou, Erven Rohou, Philippe Clauss, Nabil Hallou, Alain Ketterlin .
  PADRONE: a Platform for Online Profiling, Analysis, and Optimization.
  DCE 2014 - International workshop on Dynamic Compilation Everywhere
  2014.
• Bharath Narasimha Swamy, Alain Ketterlin, André Seznec .
  Hardware/Software Helper Thread Prefetching On Heterogeneous Many Cores.
  2014 IEEE 26th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)
  2014.
  DOI: 10.1109/SBAC-PAD.2014.39
• Philippe Clauss .
  Author Retrospective for Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs.
  ICS, International Conference on Supercomputing
  2014.
  DOI: 10.1145/2591635.2591654
• Eric Violard, Philippe Clauss, Imen Fassi .
  Xfor: Semantics and Performance.
  2014.
• Philippe Clauss .
  Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs.
  ICS, International Conference on Supercomputing
  2014.
  DOI: 10.1145/2591635.2667172
• Alain Ketterlin, Philippe Clauss .
  Recovering memory access patterns of executable programs.
  Science of Computer Programming , 80 :440-456 2014.
  DOI: 10.1016/j.scico.2012.08.002
• Lénaïc Bagnères, Cédric Bastoul .
  Switchable Scheduling for Runtime Adaptation of Optimization.
  Euro-Par 2014 Parallel Processing
  2014.
  DOI: 10.1007/978-3-319-09873-9_19
• Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Martinez Juan Manuel .
  Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons.
  International Journal of Parallel Programming , 42 (4) :529-545 2014.
• Paul Feautrier, Eric Violard, Alain Ketterlin .
  Improving X10 Program Performances by Clock Removal.
  23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14
  2014.
• Paul Bédaride, Augustin Degomme, Stéphane Genaud, Arnaud Legrand, George Markomanolis, Martin Quinson, Mark Stillwell, Frédéric Suter, Brice Videau .
  Toward Better Simulation of MPI Applications on Ethernet/TCP Networks, chapter Performance Modeling and Simulation.
  2014.
  DOI: 10.1007/978-3-319-10214-6_8
• Guillaume Gilet, Basile Sauvage, Kenneth Vanhoey, Jean-Michel Dischler, Djamchid Ghazanfarpour .
  Local random-phase noise for procedural texturing.
  SIGGRAPH Asia 2014, 03-06 décembre 2014, Shenzen, China
  2014.
  DOI: 10.1145/2661229.2661249
• Badreddine Ounnas, Stéphane Robert, Yoshitate Takakura, Sylvain Lecler, B. Sauviac, Bernard Bayard .
  Contrôle des propriétés d'un jet électromagnétique.
  13èmes Journées de Caractérisation Microondes et Matériaux
  2014.
• Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul .
  Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts.
  IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
  2014.
• Camille Kurtz, André Stumpf, Jean-Philippe Malet, Pierre Gançarski, Anne Puissant, Nicolas Passat .
  Hierarchical extraction of landslides from multiresolution remotely sensed optical images.
  ISPRS Journal of Photogrammetry and Remote Sensing , 87 :122-136 2014.
  DOI: 10.1016/j.isprsjprs.2013.11.003
• Philippe Clauss, Imen Fassi, Alexandra Jimborean .
  Software-controlled Processor Stalls for Time and Energy Efficient Data Locality Optimization.
  International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - SAMOS XIV
  2014.
• Alain Ketterlin, Matthieu Kuhn, Stéphane Genaud, Philippe Clauss .
  Loop-based Modeling of Parallel Communication Traces.
  2014.

2013

• Jean-François Dollinger, Vincent Loechner .
  Adaptive Runtime Selection for GPU.
  42nd International Conference on Parallel Processing
  2013.
  DOI: 10.1109/ICPP.2013.16
• Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez, Aravind Sukumaran-Rajam .
  Online Dynamic Dependence Analysis for Speculative Polyhedral Parallelization.
  Euro-Par 2013
  2013.
  DOI: 10.1007/978-3-642-40047-6_21
• Etienne Michon, Julien Gossa, Stéphane Genaud, Marc E. Frincu, Alexandre Burel .
  Porting Grid applications to the Cloud with Schlouder.
  CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013
  2013.
• Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, Juan Manuel Martinez .
  Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons.
  International Symposium on High-level Parallel Programming and Applications‎, HLPP
  2013.