Fabien Coelho

Biography

Fabien Coelho is a researcher specializing in compilation, code optimization, and parallel architectures. His work focuses primarily on improving the performance of embedded systems and image-processing applications by leveraging many-core architectures and hardware accelerators. He is particularly interested in automating source code transformations—such as streaming or optimizing memory transfers—to reduce power consumption and maximize computational efficiency. His research also includes modeling temperature-power relationships in nanometer-scale processors, as well as static and dynamic program analysis to detect errors such as the use of uninitialized variables. Fabien Coelho has contributed to the development of tools such as PIPS, an open-source source-to-source compiler, and has explored innovative approaches to validating JSON data schemas and sustainable data management in enterprises.

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

Teaching

Mobile Service Development (PI MOBAPP)

Course Director

Data Design and Processing (PI MOBAPP)

Course Director

Project (PI MOBAPP)

Course Director

Elective Course Period (October and January)

Course Director

Blockchain

Course Director

Introduction to Blockchain: History, Functions, and Applications The goal of this first session is to immerse students in the world of blockchain, a technology that is redefining our understanding of value and the way we exchange it. History and Origins of Blockchain Technology; Principles and How It Works; Evolution of the Technology; Examples of Applications The session concludes with a quiz. Blockchain Cryptography Cryptographic Principles: hashes, Merkle trees, signatures. Various Issues: double-spending, attacks... Hands-on session: exploring blocks, creating wallets... Smart Contracts This session covers the development of smart contracts on Tezos using PyTezos. Decentralized Finance (DeFi): Theoretical Course & Hands-on Workshop on DeFi This session offers students a hands-on immersion in DeFi, equipping them with the tools and skills needed to navigate this unregulated, intermediary-free world of decentralized finance. Introduction to decentralized wallets and DeFi Decentralized transactions Hands-on practice and assessment on the Polygon blockchain.

Computer Networks

Course Director

Lectures and Lab Sessions.

PhD supervision

2023 Towards more energy-efficient software with new cost models for optimizing compilers SOLCOURT Antoine
2018 Smart contracts for auctions: from experimental evaluation to privacy MASSONI SGUERRA Lucas