Corinne ANCOURT

Electronic Address:

(corinne.ancourt@minesparis.psl.eu)

Adresse: ENSMP/CRI, 35 rue Saint-Honoré, 77305 FONTAINEBLEAU, France
Tél: +33 (1) 64 69 48 49
Fax: +33 (1) 64 69 48 47

Fields of Interest:

Research project PIPS
Analyses of Scientific Program
Program Optimization and Parallelization
Specification and Distribution of Signal Processing Applications
Integer Linear Programming
Artificial Intelligence

Teaching

Compilation: principles and techniques
Syntaxic and Lexical analyzers: Lex, Yacc, Bison

PhD students

Luc SAULEAU (2025- present)

Subject: Enhancing Data Transfer and Performance on Heterogeneous Architectures

Youssef ATTIA EL HILI (2025-present)

Subject: Smart agents for iterated batch reinforcement learning

Arthur VIENS (2024-present)

Subject: Optimization of the mapping of convolutional neural networks on hybrid architectures

Benjamin DESTAL (2024-present)

Subject: Modèles de coûts statiques pour les compilateurs optimisants pour l’amélioration de la performance énergétique des logiciels embarqués

Gianpietro CONSOLARO (2021-2024)

Subject: Polyhedral Compilation For Deep Neural Networks

Othman GAIZI (2022-2023)

Subject: Smart agents for slowly iterated batch reinforcement learning.

Yassine KRIOUILE (2019-2022)

Subject: Object Detection in Dense Scenes

Maksim BEREZOV (2018-2022)

Subject: Automatic Source-to-Source Optimisation of Applications Using Maching Learning Techniques.

Patryk KIEPAS (2015-2019)

Subject: Automatic Source-to-Source Optimisation of Matlab Codes.

Florian GOUIN (2014-2019)

Subject: Performance Optimization and Methodology for Mapping Image Processing Applications onto GPU.

Nelson LOSSING (2013-2017)

Subject: Compilation for Distrubuted Memory Machines: a multi-pass approach.

Dounia KHALDI (2010-2013)

Subject: Parallélisation automatique de tâches en présence de contraintes de ressources.

Amira MENSI (2009-2013)

Subject: Analyses de pointeurs.

Duong NGUYEN (2002-2010)

Subject: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.

Ridima BANSAL (2008-2009)

Subject: Synthèse de code informatique pour des processeurs de traitement du signal en temps réel.

Nga NGUYEN (1999-2002)

Subject: Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code.

Nicolas MUSEUX (1998-2001)

Subject: Aide au placement d’applications de traitement du signal sur machines parallèles multi-SPMD.

Olivier ALBIEZ (1997-1999)

Subject: Régions de tableaux dans le modèle polyédrique.

Christophe GUETTIER (1994-1997)

Subject: Optimisation globale et placement d’applications de traitement du signal sur architectures parallèles utilisant la programmation logique avec contraintes.

Yi-Qing YANG (1990-1993)

Subject: Dependence Tests and Program Transformations.

PhD Jurys

[Reviewer] Quentin PETIT (2025)

Distributed and Parallel Computing for very Large Neural Networks. Université Paris-Saclay

[Reviewer] Hugo THIEVENAZ (2024)

Scalable Trace-based Compile-Time memory Allocation. Ecole Normale Supérieure de Lyon.

[Examiner] Michael CANESCHE (2024)

Optimizing Machine Learning Models: A Droplet Search Approach toEfficient Kernel Scheduling. Université fédérale du Minas Gerais, Brezil.

[Reviewer] Adam TALBI (2024)

Analyse statique et apprentissage automatique interprétable pour la détection des logiciels malveillants Android. CY CERGY PARIS Université.

[Reviewer] Nathan MAURICE (2024)

Irregular : Conception d’algorithmes irréguliers parallèles efficaces sur systèmes embarqués hétérogènes. Sorbonne Université.

[Examiner] Thais BAUDON (2024)

ADT4HPC: Algebraic Data Types for High-Performance Computing. Ecole Normale Supérieure de Lyon.

[Examiner] Cyril CETRE (2024)

Extension of HPC methods and techniques to meet the needs of real time constraints and their application to giant astronomical telescopes and embedded systems. Observatoire de Paris - PSL University.

[Reviewer] Hugo POMPOUGNAC (2022 )

Spécification et compilation de réseaux de neurones embarqués. Sorbonne Université.

[Examiner] Célia Tassadit AIT KACI (2022 )

Analyse statique et dynamique pour la détection d’erreurs de concurrence d’accès mémoire dans les applications MPI-RMA. Université de Bordeaux.

[Examiner] Basile CLEMENT (2022 )

the Translation Validation of multidimensional array languages. Ecole Normale Supérieure de Lyon.

[Examiner] Thiago Santos Faria Xavier TEIXEIRA (2020 )

A Language and a System for Program Optimization. University of Illinois at Urbana-Champaign, US.

[Examiner] Andrea PETRETO (2020 )

Débruitage Vidéo temps-réel pour systèmes embarqués. Sorbonne Université.

[Reviewer] Christophe ALIAS (2019 )

HDR: Contributions to Program Optimization and High-Level Synthesis. Ecole Normale Supérieure de Lyon.

[Examiner] Chandan REDDY (2019)

Polyhedral compilation for Domain Specific Languages. Ecole Normale Supérieure de Paris.

[Reviewer] Maroua MAALEJ (2017 )

Low-cost memory analyses for efficient compilers. Ecole Normale Supérieure de Lyon.

[Reviewer] Julien COLLET (2017 )

Exploration of parallel graph-processing algorithms on distributed architectures. CEA.

[Reviewer] Hanyu ZHANG (2016 )

Méthodes itératives à retard pour architectures massivement parallelès. Université Paris Saclay.

[Reviewer] Lenaic BAGNERES (2016 )

Adaptation automatique et semi-automatique des optimisations de programmes. LRI, Paris.

[Reviewer] Erven ROHOU (2015)
HDR: Infrastructures and Compilation Strategies for the Performance of Computing Systems. Université de Rennes 1.

[Reviewer] Abal Kassim CHEIK AHAMED (2015 )

Méthodes numériques pour la résolution accélérée des systèmes linéaires de grandes tailles sur architectures hybrides massivement parallèles. Ecole Centrale Paris.

[Examiner] Haixiong YE (2014}

Impact des transformations algorithmiques sur la synthèse de haut niveau: application au traitement des images et du signal. Université Paris Sud

[Reviewer] Antoine MONSIFROT (2002)
Utilisation du raisonnement à partir de cas et de l’apprentissage pour l’optimisation de code. IRISA Université Rennes 1.

[Examiner] Nicola WILLIAMS-PRESTON (2000}
Application des spécifications algébriques à la rétro-ingénierie de codes Fortran. Ecole Normale Supérieure de Cachan.

[Reviewer] Mohamed TADJOUDDINE (1999)

Analyse de dépendances de Jacobiennes creuses pour la différentiation automatique. Université de Nice-Sophia Antipolis.

[Examiner] Denis BARTHOU (1998)
Analyse du flot de données pour tableaux en présence de contraintes non-affines. Université de Versailles St-Quentin.

[Examiner] Thierry MONTAUT (1996)

Méthodes pour l’élimination du faux-partage et l’optimisation de la localité sur une machine parallèle à mémoire virtuelle partagée. IRISA Université Rennes 1.

[Examiner] Lei ZHOU (1994)

Statical and dynamical analysis of program complexity. Ecole des Mines de Paris.

Papers

Nested object detection using mask R-CNN: application to bee and varroa detection, Yassine Kriouile, Corinne Ancourt, Katarzyna Wegrzyn-Wolska, Lamine Bougueroual,

Presented at Neural Computing and Applications, Springer (2024)

PolyTOPS: Reconfigurable and flexible polyhedral scheduler, Gianpietro Consolaro, Zhen Zhang, Harenome Razanajato, Nelson Lossing, Nassim Tchoulak, Adilla Susungi, Artur Cesar Araujo Alves, Renwei Zhang, Denis Barthou, Corinne Ancourt, Cedric Bastoul,

Presented at IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2024),

ParameTrick: Coefficient Generalization for Faster Polyhedral Scheduling, Gianpietro Consolaro, Harenome Razanajato, Nelson Lossing, Denis Barthou, Zhen Zhang, Corinne Ancourt, Cedric Bastoul,

Presented at 14th International Workshop on Poyhedral Compilation Techniques (IMPACT 2024),

Tiling parameters prediction using Machine Learning techniques, Maksim Berezov, Corinne Ancourt, M Kashchenko,

Presented at The 36th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2023),

A-790

COLA-Gen: Active Learning Techniques for Automatic Code Generation of Benchmarks, Maksim Berezov, Corinne Ancourt, Justyna Zawalska, Maryna Savchenko,

Presented at 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022), Volume 100, article No. 3, pp 1-14, Budapest, Hongrie, 22 juin 2022.

A-788

Generating Proposals from Corners in RPN to Detect Bees in Dense Scenes, Yassine Kriouile, Corinne Ancourt, Katarzyna Wegrzyn-Wolska, Lamine Bougueroua,

Presented at 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISAPP 2022), Volume 5, pages 339-350, Budapest, Hongrie, 6-8 fevrier 2022.

A-787

Digital Transformation of Beekeeping through the Use of a Decision Making Architecture, Jean-Charles Huet (Efrei Research Lab, Efrei), Lamine Bougueroua (AllianSTIC-EFREI, Efrei Research Lab, Efrei), Yassine Kriouile (AllianSTIC-EFREI, MINES Paris, PSL University), Katarzyna Wegrzyn-Wolska (Efrei, MINES Paris, PSL University), Corinne Ancourt (MINES Paris, PSL University),

Published in Applied Sciences,2022, Vol 12, Numero 21.

A-739

PNAPI: Digital Support Platform for Beekeepers, Yassine Kriouile (EFREI Paris et MINES ParisTech, PSL University, CRI), Lamine Bougueroua (AlliansTIC, EFREI Paris), Corinne Ancourt (MINES ParisTech, PSL University, CRI), Katarzyna Wegrzyn-Wolska (EFREI Paris et MINES ParisTech, PSL University, CRI), Jean-Charles Huet (AlliansTIC, EFREI Paris),

Presented at Artificial Intelligence & Industrial Applications (A2IA'2020), Meknes, Maroc,4-5 Decembre 2020.

A-722

Using performance event profiles to deduce an execution model of MATLAB with just-in-time compilation, Patryk Kiepas, Corinne Ancourt, Claude Tadonki, Jaroslaw Kozlak,

Presented at 32nd Workshop on Languages and Compilers for Parallel Computing (LCPC 2019), Georgia Tech, Atlanta, 22-24 Octobre 2019.

A-716

Parallelization of Hierarchical Matrix Algorithms for Electromagnetic Scattering Problems, Elisabeth Larsson (Scientific Computing, Department of Information Technology, Uppsala University, Sweden), Afshin Zafari (Scientific Computing, Department of Information Technology, Uppsala University, Sweden), Marco Righero (Antenna and EMC Lab (LACE), LINKS Foundation, Turin), M. Alessandro Francavilla (ASML Netherlands BV, Veldhoven, Netherlands), Giorgio Giordanengo (Antenna and EMC Lab (LACE), LINKS Foundation, Turin), Francesca Vipiana (Department of Electronics and Telecommunications, Politecnico di Torino), Giuseppe Vecchi (Department of Electronics and Telecommunications, Politecnico di Torino), Christoph Kessler (Department of Computer and Information Science, Linkoping University, Sweden), Corinne Ancourt (MINES ParisTech CRI - PSL), Clemens Grelck (Informatics Institute, University of Amsterdam, Netherlands),

Published in High-Performance Modelling and Simulation for Big Data Applications, Springer, 2019, Chapitre 2, pp. 36-68.

A-715

Survey on AI-Based Multimodal Methods for Emotion Detection, Catherine Marechal, Dariusz Mikolajewski, Krzysztof Tyburek, Piotr Prokopowicz, Lamine Bougueroua, Corinne Ancourt, Katarzyna Wegrzyn-Wolska,

Published in High-Performance Modelling and Simulation for Big Data Applications, Springer, 2019, Chapitre 11, pp 307-324.

A-714

Locus: A System and a Language for Program Optimization, Thiago Teixeira (Dept of Computer Science, University of Illinois at Urbana-Champaign, USA), Corinne Ancourt, David Padua, William Gropp,

Presented at 17th IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2019), Washington, US, 16-20 february 2019.

A-684

Profile-based Vectorization for MATLAB, Patryk Kiepas, Jaroslaw Kozlak, Claude Tadonki, Corinne Ancourt,

Presented at 5th International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2018), Philadelphia, United States, 19 juin 2018.

A-680

An up to date Mapping Methodology for GPUs, Florian Gouin, Corinne Ancourt, Christophe Guettier,

Presented at 20th Workshop on Compilers for Parallel Computing (CPC 2018), Dublin, Irlande, 16-18 avril 2018.

A-652

Méthode de calcul de variance locale adaptée aux processeurs graphiques, Florian Gouin, Corinne Ancourt, Christophe Guettier,

Presented at Conférence d’informatique en Parallélisme, Architecture et Système (Compas'2016), 5-8 juillet 2016 - Lorient, France.

A-642

Threewise: a local variance algorithm for GPU, Florian Gouin , Corinne Ancourt , Christophe Guettier ,

Presented at 19th IEEE International Conference on Computational Science and Engineering (CSE), Ecole MINES ParisTech, Paris, France, 24-26 Août 2016.

A-641

Automatic Code Generation of Distributed Parallel Tasks, Nelson Lossing , Corinne Ancourt , François Irigoin ,

Presented at 19th IEEE International Conference on Computational Science and Engineering (CSE) , Ecole MINES ParisTech, Paris, France 24-26 Août 2016.

Sûreté : de l’analyse à l’instrumentation et à la synthèse de code Habilitation à diriger les recherches (HDR), Corinne Ancourt,

Habilitation à Diriger des Recherches , 2015

LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications, Dounia Khaldi , Pierre Jouvelot, François Irigoin , Corinne Ancourt, Barbara Chapman,

Presented at LLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, 15 novembre 2015 - Austin, Texas.

SAX-S57 : Patterns for parallel programming on GPU's. Chapitre 6 : Program Sequentially, Carefully, and Benefit From Compiler Advances For Parallel Heterogeneous Computing, Mehdi Amini, Corinne Ancourt, Béatrice Creusillet, François Irigoin, and Ronan Keryell,

Book Saxe Coburg Publications, Frederic Magoules edition, 2014.

A-531

Automatic generation of communications for redundant multi-dimensional data parallel redistributions, Corinne Ancourt, Teodora Petrisor, François Irigoin, and Eric Lenormand,

Presented at IEEE International Conference on High Performance Computing and Communications, HPCC 2013, Zhangjiajie, Chine, 2013, pp. 800-811.

A-519

SPIRE : A methodology for sequential to parallel intermediate representation extension, Dounia Khaldi, Pierre Jouvelot, François Irigoin, and Corinne Ancourt,

Presented at HiPEAC Computing Systems Week, Paris, France, 2013.

A-499

Parallelizing with BDSC, a resource-constrained scheduling algorithm for shared and distributed memory systems, Dounia Khaldi, Pierre Jouvelot, and Corinne Ancourt,

Journal Parallel Computing , Volume 41, pp. 66-89, Janvier 2014.

A-487

SPIRE : A methodology for sequential to parallel intermediate representation extension, Dounia Khaldi, Pierre Jouvelot, François Irigoin, and Corinne Ancourt,

Presented at 17th Workshop on Compilers for Parallel Computing (CPC2013), Lyon, France, 2013.

A-486

Task Parallelism and Data Distribution : An Overview of Explicit Parallel Programming Languages. Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, and François Irigoin,

Presented at Languages and Compilers for Parallel Computing (LCPC 2012), Springer Berlin Heidelberg, Waseda University, Tokyo, Japan, 2012, volume 7760, pages 174-189

Polyèdres et compilation (version journal), François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, and Ronan Keryell,

Journal Technique et Science Informatiques (TSI), 31(8-9-10), 2012.

A-474

A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications, Corinne Ancourt, François Irigoin, Teodora Petrisor, and Eric Lenormand,

Presented at Workshop on Mapping of Applications to MPSoCs, Rheinfels Castle, St. Goar, Germany, 2011.

A-466

Data and process abstraction in PIPS internal representation, Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, and François Irigoin,

Presented at Troisièmes Rencontres de la Communauté Française de Compilation, Manoir de la Vicomte, Dinard, France, 2011.

A-464

Polyèdres et compilation, François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, and Ronan Keryell,

Presented at Rencontres francophones du Parallélisme (RenPar'20), Saint-Malo, France, 2011.

A-453

PIPS Is not (just) Polyhedral Software, Adding GPU Code Generation in PIPS, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Serge Guelton, François Irigoin, Pierre Jouvelot, Ronan Keryell, and Pierre Villalon,

Presented at First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011), Chamonix, France, 2011.

A-447

Data and process abstraction in PIPS internal representation, Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, and François Irigoin,

Presented at First Workshop on Intermediate Representations (WIR-1), Chamonix, France, 2011.

A-426

A modular static analysis approach to affine loop invariants detection, Corinne Ancourt, Fabien Coelho, and François Irigoin,

Journal Electron. Notes Theor. Comput. Sci., 267(1) : 3-16, October 2011.

Presented at Numerical and Symbolic Abstract Domains (NSAD 2011), volume 267 of NSAD 2011, pages 3-16, Perpignan, France, 2010. Elsevier.

A case study of design space exploration for embedded multimedia applications in SoCs, Isabelle Hurbain, Corinne Ancourt, François Irigoin (ENSMP-CRI) ; Michel Barreteau, Nicolas Museux (THALES) ; Frédéric Paquier (THOMSON),

Presented at Proceedings of the Seventeenth IEEE Internatioanl Workshop on Rapid System Prototyping 2006 (RSP'06), Chania, Crête, 14-16 juin 2006, pp.133-139.

Automatic Detection of Uninitialized Variables, Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho,

Presented at 12th International Conference on Compiler Construction, Warsaw, Poland, 7-9 avril 2003 and in Lecture Notes in Computer Science LNCS 2622, pages 217-231, Springer, 2003

A-324

Array Resizing for Scientific Code Debugging, Maintenance and Reuse, Corinne Ancourt, Thi Viet Nga Nguyen,

Presented at ACM SIGPLAN-SIGSOFT Workshop on Program Analsis forSoftware Tools and Engineering, PASTE 2001, Snowbird,Utah, USA, June 18-19, 2001, pp.32-37.

PROMPT: Placement Rapide Optimisé sur Machines Parallèles pour applications Télécoms, Michel Barreteau, J. Jourdan, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.) ; François Irigoin, Corinne Ancourt (ENSMP-CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG),

Presented at Workshop Adéquation Algorithme Architecture 2000, AAA'2000, Inria, Le Chesnay, France, 26-28 Janvier 2000.

PROMPT: A mapping Environment for Telecom Applications on "System-On-a-Chip", Michel Barreteau, J. Jourdan, Juliette Mattioli (Thomson-CSF-LCR-A&TS Lab.) ; François Irigoin, Corinne Ancourt (ENSMP-CRI) ; Thierry Grandpierre, Christophe Lavarenne, Yves Sorel (INRIA) ; Philippe Kajfasz (Thomson-CSF Communications) ; Bernard Dion (SIMULOG),

Presented at International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES'2000, San José, California, USA, November 17-18, 2000.

A-304

Automatic Data Mapping of Signal Processing Applications, Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli, Avril 1997.

Presented at International Conference on Application-specific Systems, Architectures and Processors (ASAP'97), 14-16 July 1997, Swiss Federal Institute of Technology, Zurich, Switzerland.

A-300 Article (HTML and PostScript) and color transparencies of

How to Add a New Phase in PIPS: the Case of Dead Code Elimination, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet and Ronan Keryell, 1996.

Presented at the Sixth Workshop "Compilers for Parallel Computers" (CPC'96), pages 19-30. December 11-13, 1996, Aachen, Germany.

A-299 color transparencies of

PIPS: a Workbench for Program Parallelization and Optimization, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot and Ronan Keryell, 1996.

Presented at European Parallel Tool Meeting 1996 (EPTM'96), October 23, 1996, ONERA, FRANCE.

A-291

PIPS Development Environment, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot, Ronan Keryell, May 1996. Also in HTML.

A-289

PIPS: a Workbench for Building Interprocedural Parallelizers, Compilers and Optimizers, Ronan Keryell, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, François Irigoin, Pierre Jouvelot, May 14, 1996.

A-278

A Linear Algebra Framework for Static HPF Code Distribution, Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell,

In Scientific Programming, Vol.6, 1997, pp.3-27.

A-277

Optimal Compilation of HPF Remappings (Extended Vesion), Fabien Coelho, Corinne Ancourt,

In Journal of Parallel and Distributed Computing, Vol.28, 1996, pp.229-236

A-275

Removing Useless Remappings, Fabien Coelho, Corinne Ancourt, October 23, 1995.
Part of A-277 Prefer the later

A-266

Minimal Data Dependence Abstractions for Loop Transformations (Extended Version), Yi-Qing Yang, Corinne Ancourt, François Irigoin,

In International Journal of Parallel Programming, Special Issue, Vol.23, No.4, August 1995, pp. 259-388.

A-226

Automatic Code Distribution, Corinne Ancourt, François Irigoin,

Presented at The Third Workshop on Compilers for Parallel Computers (CPC'92), Vienna, Austria, 6-9 July 1992.

A-195

Scanning Polyhedra With DO Loops., F. Irigoin, C. Ancourt

Presented at PPoPP'91, Williamsburg, Virginia , April 21-24, 1991

Thèse : Génération automatique de code de transfert pour multiprocesseurs à mémoires locales, Corinne Ancourt, 18 Mars 1991.

A-196

Code Generation For Data Movements In Hierarchical Memory Machines. , C. Ancourt,

Presented at Compilers for Parallel Computers, Paris, December 3-5, 1990. 3 Décembre 1990.

Retour à la page de présentation du CRI