Fabien Coelho

28 papers B 2C 1Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2024 C conf
JSON Model: a Lightweight Featureful DSL for JSON.
ADBIS
Fabien Coelho, Claire Yannou-Medrala
2017 J jnl
Itsuku: a Memory-Hardened Proof-of-Work Scheme.
IACR Cryptol. ePrint Arch.
Fabien Coelho, Arnaud Larroche, Baptiste Colin
2014 — conf
Automatic Streamization of Image Processing Applications.
LCPC
Pierre Guillou, Fabien Coelho, François Irigoin
2014 J jnl
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application Processors.
CoRR
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014 — conf
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors.
ICSAMOS
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014 J jnl
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
CoRR
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2014 J jnl
The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems.
CoRR
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2013 J jnl
API compilation for image hardware accelerators.
ACM Trans. Archit. Code Optim.
Fabien Coelho, François Irigoin
2013 — book
Contributions à la performance du calcul scientifique et embarqué.
Fabien Coelho
2013 — conf
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
PPAM (1)
Karel De Vogeleer, Gérard Memmi, Pierre Jouvelot, Fabien Coelho
2012 J jnl
Polyèdres et compilation.
Tech. Sci. Informatiques
François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell
2011 — conf
Static Compilation Analysis for Host-Accelerator Communication Optimization.
LCPC
Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell
2010 — conf
A Modular Static Analysis Approach to Affine Loop Invariants Detection.
NSAD@SAS
Corinne Ancourt, Fabien Coelho, François Irigoin
2008 — conf
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees.
AFRICACRYPT
Fabien Coelho
2007 J jnl
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle Trees.
IACR Cryptol. ePrint Arch.
Fabien Coelho
2007 J jnl
Buffer and Register Allocation for Memory Space Optimization.
J. VLSI Signal Process.
Youcef Bouchebaba, Bruno Girodias, Fabien Coelho, Gabriela Nicolescu, El Mostapha Aboulhamid
2006 — conf
Buffer and register allocation for memory space optimization.
ASAP
Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Fabien Coelho
2005 J jnl
Exponential Memory-Bound Functions for Proof of Work Protocols.
IACR Cryptol. ePrint Arch.
Fabien Coelho
2003 B conf
Automatic Detection of Uninitialized Variables.
CC
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
2002 J jnl
Pavage pour une séquence de nids de boucles.
Tech. Sci. Informatiques
Youcef Bouchebaba, Fabien Coelho
2002 — conf
Tiling and Memory Reuse for Sequences of Nested Loops.
Euro-Par
Youcef Bouchebaba, Fabien Coelho
1998 — conf
Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes.
IEEE PACT
Julien Zory, Fabien Coelho
1997 J jnl
A Linear Algebra Framework for Static High Performance Fortran Code Distribution.
Sci. Program.
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell
1997 B conf
Compiling Dynamic Mappings with Array Copies.
PPoPP
Fabien Coelho
1996 — conf
Discussing HPF Design Issues.
Euro-Par, Vol. I
Fabien Coelho
1996 J jnl
Optimal Compilation of HPF Remappings.
J. Parallel Distributed Comput.
Fabien Coelho, Corinne Ancourt
1996 — conf
State of the Art in Compiling HPF.
The Data Parallel Programming Model
Fabien Coelho, Cécile Germain, Jean-Louis Pazat
1994 — conf
Experiments with HPF Compilation for a Network of Workstations.
HPCN
Fabien Coelho