Fabien Coelho

Biographie

Fabien Coelho est un chercheur spécialisé en compilation, optimisation de code et architectures parallèles. Ses travaux portent principalement sur l’amélioration des performances des systèmes embarqués et des applications de traitement d’images, en exploitant des architectures many-cores et des accélérateurs matériels. Il s’intéresse notamment à l’automatisation des transformations de code source, comme la streamisation ou l’optimisation des transferts mémoire, pour réduire la consommation énergétique et maximiser l’efficacité des calculs. Ses recherches incluent également la modélisation des relations température/puissance dans les processeurs nanométriques, ainsi que l’analyse statique et dynamique des programmes pour détecter des erreurs comme l’utilisation de variables non initialisées. Fabien Coelho a contribué au développement d’outils comme PIPS, un compilateur source-à-source open-source, a exploré des approches innovantes pour la validation de schémas de données JSON, et a développé de nouveaux algorithmes de preuve d’effort optimaux.

Publication(s)

2024
JSON Model: a Lightweight Featureful DSL for JSON DOI : 10.1007/978-3-031-70626-4_1
2015
Automatic streamization of image processing applications DOI : 10.1007/978-3-319-17473-0_15
2014
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors DOI : 10.1109/SAMOS.2014.6893209
2014
The energy/frequency convexity rule: Modeling and experimental validation on mobile devices DOI : 10.1007/978-3-642-55224-3_74
2013
Static compilation analysis for host-accelerator communication optimization DOI : 10.1007/978-3-642-36036-7_16
2013
API compilation for image hardware accelerators DOI : 10.1145/2400682.2400708
2010
Sustainable data management: Point on issues and proposal of a piloting approach for the performance relied on a thematic balanced scorecard; [Gestion durable des données: Point sur les enjeux et proposition d'une démarche de pilotage de la performance appuyée sur un balanced scorecard thématique]
2010
A modular static analysis approach to affine loop invariants detection DOI : 10.1016/j.entcs.2010.09.002
2008
An (almost) constant-effort solution-verification proof-of-work protocol based on Merkle trees DOI : 10.1007/978-3-540-68164-9_6
2007
Buffer and register allocation for memory space optimization DOI : 10.1007/s11265-006-0001-1
2006
Buffer and register allocation for memory space optimization DOI : 10.1109/ASAP.2006.20
2005
Recent advances in low-power design and functional coverification automation from the earliest system-level design stages
2004
Recent advances in low-power design and functional coverification automation from the earliest system-level design stages
2003
Automatic detection of uninitialized variables DOI : 10.1007/3-540-36579-6_16
2002
Tiling and memory reuse for sequences of nested loops DOI : 10.1007/3-540-45706-2_34
1998
Using algebraic transformations to optimize expression evaluation in scientific code DOI : 10.1109/PACT.1998.727284
1997
Compiling dynamic mappings with array copies
1997
Linear algebra framework for static high performance Fortran code distribution DOI : 10.1155/1997/195689
1997
Compiling Dynamic Mappings with Array Copies DOI : 10.1145/263767.263786
1996
Optimal compilation of HPF remappings DOI : 10.1006/jpdc.1996.0143
1996
Discussing HPF design issues DOI : 10.1007/3-540-61626-8_77
1996
State of the art in compiling HPF DOI : 10.1007/3-540-61736-1_45
1995
Compilation of I/O communications for HPF
1994
Experiments with HPF compilation for a network of workstations DOI : 10.1007/3-540-57981-8_154

Enseignements

Développement de services mobiles (PI MOBAPP)

Responsable

Conception et traitement des données (PI MOBAPP)

Responsable

Projet (PI MOBAPP)

Responsable

Période d'enseignement d'option (octobre+janvier)

Responsable

Blockchain

Responsable

Introduction à la Blockchain: histoire, fonctions et applications Cette première session a pour objectif de plonger les étudiants dans l'univers de la blockchain, technologie qui redéfinit notre conception de la valeur et la manière dont nous l'échangeons. Histoire et genèse de la technologie blockchain Principes et fonctionnement Evolution de la technologie Exemples d'applications La séance se conlut par un quiz. Cryptographie de la blockchain Principes cryptographiques : hash, arbre de Merkle, signatures. Problèmes divers : doubles dépenses, attaques... Séance de travaux pratiques : exploration de blocs, création de wallets... Smart Contracts Cette séance présente le développement de smart contracts sur Tezos en PyTezos. Finance Décentralisée (DEFI) : Cours théorique & Atelier pratique sur la DeFI Cette session offre aux étudiants une immersion pratique dans la DEFI, leur donnant les outils et les compétences nécessaires pour naviguer dans cet univers dérégulé et sans intermédiaire de la finance décentralisée. Introduction aux portefeuilles décentralisés et à la DEFI Transactions décentralisées Pratique et évaluation sur la blockchain polygon.

Réseaux informatiques

Responsable

Cours et TPs.

Direction(s) de thèse(s)

2023 Vers des logiciels plus sobres en énergie avec de nouveaux modèles de coûts pour les compilateurs optimisants SOLCOURT Antoine
2018 Contrats intelligents pour les enchères : de l'évaluation expérimentale à la confidentialité MASSONI SGUERRA Lucas