Fabien Coelho

According to our database1, Fabien Coelho authored at least 25 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
JSON Model: a Lightweight Featureful DSL for JSON.
Proceedings of the Advances in Databases and Information Systems, 2024

2017
Itsuku: a Memory-Hardened Proof-of-Work Scheme.
IACR Cryptol. ePrint Arch., 2017

2014
The Impact of Surface Size on the Radiative Thermal Behavior of Embedded Systems.
CoRR, 2014

Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors.
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Automatic Streamization of Image Processing Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

2013
API compilation for image hardware accelerators.
ACM Trans. Archit. Code Optim., 2013

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices.
Proceedings of the Parallel Processing and Applied Mathematics, 2013

Contributions à la performance du calcul scientifique et embarqué.
, 2013

2012
Polyèdres et compilation.
Tech. Sci. Informatiques, 2012

2011
Static Compilation Analysis for Host-Accelerator Communication Optimization.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

2010
A Modular Static Analysis Approach to Affine Loop Invariants Detection.
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

2007
Buffer and Register Allocation for Memory Space Optimization.
J. VLSI Signal Process., 2007

An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol based on Merkle Trees.
IACR Cryptol. ePrint Arch., 2007

2006
Buffer and register allocation for memory space optimization.
Proceedings of the 2006 IEEE International Conference on Application-Specific Systems, 2006

2005
Exponential Memory-Bound Functions for Proof of Work Protocols.
IACR Cryptol. ePrint Arch., 2005

2003
Automatic Detection of Uninitialized Variables.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Pavage pour une séquence de nids de boucles.
Tech. Sci. Informatiques, 2002

Tiling and Memory Reuse for Sequences of Nested Loops.
Proceedings of the Euro-Par 2002, 2002

1998
Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997
A Linear Algebra Framework for Static High Performance Fortran Code Distribution.
Sci. Program., 1997

Compiling Dynamic Mappings with Array Copies.
Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1997

1996
Optimal Compilation of HPF Remappings.
J. Parallel Distributed Comput., 1996

Discussing HPF Design Issues.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

State of the Art in Compiling HPF.
Proceedings of the Data Parallel Programming Model: Foundations, 1996

1994
Experiments with HPF Compilation for a Network of Workstations.
Proceedings of the High-Performance Computing and Networking, 1994


  Loading...