Papers

For the complete bibliography of the team, follow this link

2016

Conference papers

titre
EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits
auteur
Xinyu Niu, Nicholas Ng, Shaojun Wang, Tomofumi Yuki, Nobuko Yoshida, Wayne Luk
article
26th International Conference on Field Programmable Logic and Applications, Aug 2016, Lausanne, Switzerland. 2016, Proceedings of the 26th International Conference on Field Programmable Logic and Applications. <10.1109/FPL.2016.7577359>
DOI
DOI : 10.1109/FPL.2016.7577359
Accès au bibtex
BibTex
titre
Extended Lattice-Based Memory Allocation
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
25th International Conference on Compiler Construction (CC'16), Mar 2016, Barcelona, Spain. 2016, 25th International Conference on Compiler Construction (CC'16). <http://cc2016.eew.technion.ac.il/>
Accès au bibtex
BibTex
titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Jan 2016, Prague, Czech Republic. Available as http://impact.gforge.inria.fr/impact2016/papers/impact2016-cohen.pdf, Proceedings of the IMPACT series. <http://impact.gforge.inria.fr/impact2016>
Accès au bibtex
BibTex
titre
Liveness Analysis in Explicitly-Parallel Programs
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Jan 2016, Prague, Czech Republic. Available as http://impact.gforge.inria.fr/impact2016/papers/impact2016-darte.pdf, Proceedings of the IMPACT series. < http://impact.gforge.inria.fr/impact2016/>
Accès au bibtex
BibTex
titre
Towards Scalable and Efficient FPGA Stencil Accelerators
auteur
Gaël Deest, Nicolas Estibals, Tomofumi Yuki, Steven Derrien, Sanjay Rajopadhye
article
IMPACT'16 - 6th International Workshop on Polyhedral Compilation Techniques, held with HIPEAC'16, Jan 2016, Prague, Czech Republic. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425018/file/impact2016-deest.pdf BibTex

Reports

titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
[Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01184408/file/RR-8764.pdf BibTex
titre
Liveness Analysis in Explicitly-Parallel Programs
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
[Research Report] RR-8839, CNRS; Inria; ENS Lyon. 2016, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251579/file/RR-8839.pdf BibTex

2015

Journal articles

titre
Studying Optimal Spilling in the Light of SSA
auteur
Quentin Colombet, Florian Brandner, Alain Darte
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11-4 (47), pp.26. <10.1145/2685392>
DOI
DOI : 10.1145/2685392
Accès au bibtex
BibTex

Conference papers

titre
Synthesis of ranking functions using extremal counterexamples
auteur
Laure Gonnord, David Monniaux, Gabriel Radanne
article
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. <10.1145/2737924.2737976>
DOI
DOI : 10.1145/2737924.2737976
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01144622/file/PLDI15_termite_authorVersion.pdf BibTex
titre
Revisiting Loop Transformations with X10 Clocks
auteur
Tomofumi Yuki
article
Proceedings of the ACM SIGPLAN Workshop on X10, Jun 2015, Portland, OR, United States. 2015, <http://x10-lang.org/articles/268.html>. <10.1145/2771774.2771778>
DOI
DOI : 10.1145/2771774.2771778
Accès au bibtex
BibTex
titre
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
auteur
Alain Darte, Alexandre Isoard
article
24th International Conference on Compiler Construction (CC'15), part of ETAPS'15, Apr 2015, London, United Kingdom
Accès au bibtex
BibTex
titre
The Power of Polynomials
auteur
Paul Feautrier
article
Alexandra Jimborean and Alain Darte. 5th International Workshop on Polyhedral Compilation Techniques (IMPACT'15), Jan 2015, Amsterdam, Netherlands. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094787/file/powerPol-v2.pdf BibTex

Reports

titre
Extended Lattice-Based Memory Allocation
auteur
Alain Darte, Alexandre Isoard, Tomofumi Yuki
article
[Research Report] RR-8840, CNRS; ENS Lyon; Inria. 2015, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251868/file/RR-8840.pdf BibTex
titre
Mono-parametric Tiling is a Polyhedral Transformation
auteur
Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
article
[Research Report] RR-8802, INRIA Grenoble - Rhône-Alpes; CNRS. 2015, pp.40
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01219452/file/RR-8802.pdf BibTex
titre
Data-aware Process Networks
auteur
Christophe Alias, Alexandru Plesco
article
[Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158726/file/RR-8735.pdf BibTex
titre
Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
auteur
Alain Darte, Alexandre Isoard
article
[Research Report] RR-8671, LIP - ENS Lyon; CNRS; Inria; UCBL. 2015, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103460/file/RR-8671.pdf BibTex

2014

Journal articles

titre
Abstract Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Peter Schrammel
article
Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), <10.1016/j.scico.2013.09.016>
DOI
DOI : 10.1016/j.scico.2013.09.016
Accès au bibtex
BibTex

Conference papers

titre
Validation of Memory Accesses Through Symbolic Analyses
auteur
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord
article
ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, 2014, <10.1145/2660193.2660205>
DOI
DOI : 10.1145/2660193.2660205
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006209/file/oopsla14_memory_author_version.pdf BibTex
titre
Polyhedral Optimizations? Not Even Scared!
auteur
Alain Darte
article
Jornadas Sarteco, Sep 2014, Valladolid, Spain. 2014, <http://www.jornadassarteco.org/>
Accès au bibtex
BibTex
titre
On Program Equivalence with Reductions
auteur
Guillaume Iooss, Christophe Alias, Sanjay Rajopadhye
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. 2014, <http://cs.uni-muenster.de/sev/sas14/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096110/file/sas2014.pdf BibTex
titre
Real-World Loops are Easy to Predict: A Case Study
auteur
Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
article
Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01006208/file/wst_realloops_author_version.pdf BibTex
titre
Improving X10 Program Performances by Clock Removal
auteur
Paul Feautrier, Eric Violard, Alain Ketterlin
article
23rd International Conference on Compiler Construction (CC’14), part of ETAPS’14, Apr 2014, Grenoble, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924206/file/paper.pdf BibTex
titre
Parametric Tiling with Inter-Tile Data Reuse
auteur
Alain Darte, Alexandre Isoard
article
Sanjay Rajopadhye and Sven Verdoolaege. 4th International Workshop on Polyhedral Compilation Techniques (IMPACT'14), Jan 2014, Vienna, Austria. 2014
Accès au bibtex
BibTex
titre
CART: Constant Aspect Ratio Tiling
auteur
Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias, Yun Zou
article
4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00915827/file/impact2014-iooss.pdf BibTex

Patents

titre
Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés
auteur
Christophe Alias, Alexandru Plesco
article
France, N° de brevet: FR1453308. 2014
Accès au bibtex
BibTex

Poster communications

titre
Data-reuse Optimizations for Pipelined Tiling with Parametric Tile Sizes
auteur
Alexandre Isoard
article
23rd International Conference on Parallel Architectures and Compilation Techniques (PACT'14), Aug 2014, Edmonton, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01111393/file/main.pdf BibTex

Documents associated with scientific events

titre
Author Retrospective for Array Expansion, Array Shrinking, or There and Back Again
auteur
Paul Feautrier
article
Utpal Banerjee. ACM International Conference on Supercomputing (ICS) 25th Anniversary Volume, 2014, Munich, Germany. ACM, pp.1
Accès au bibtex
BibTex

2013

Journal articles

titre
Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential
auteur
Naznin Fauzia, Venmugil Elango, Mahesh Ravishankar, Jagannathan Ramanujam, Fabrice Rastello, Atanas Rountev, Louis-Noël Pouchet, Ponnuswamy Sadayappan
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 10 (4)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920031/file/hal.pdf BibTex
titre
Elimination of parallel copies using code motion on data dependence graphs
auteur
Florian Brandner, Quentin Colombet
article
Computer Languages, Systems and Structures, Elsevier, 2013, 39 (1), pp.25 - 47. <10.1016/j.cl.2012.09.001>
DOI
DOI : 10.1016/j.cl.2012.09.001
Accès au bibtex
BibTex

Conference papers

titre
Rank: a tool to check program termination and computational complexity
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Accès au bibtex
BibTex
titre
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
Design, Automation, and Test in Europe (DATE'13), Mar 2013, Grenoble, France. 2013
Accès au bibtex
BibTex
titre
A Polynomial Spilling Heuristic: Layered Allocation
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello
article
CGO 2013 - International Symposium on Code Generation and Optimization, Feb 2013, Shenzhen, China. IEEE, 2013, <10.1109/CGO.2013.6495005>
DOI
DOI : 10.1109/CGO.2013.6495005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911887/file/57_Diouf.pdf BibTex
titre
Array Dataflow Analysis for Polyhedral X10 Programs
auteur
Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat
article
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'13), Feb 2013, Shenzhen, China. ACM, 2013
Accès au bibtex
BibTex

Reports

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00780521/file/Sync2Smt_RR_FeautrierGamatieGonnordV2.pdf BibTex

Preprints, Working Papers, ...

titre
Checking Race Freedom of Clocked X10 Programs
auteur
Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat
article
11 pages. 2013
Accès au bibtex
https://arxiv.org/pdf/1311.4305 BibTex

2012

Journal articles

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
CSI Journal of Computing, Computer Society of India, 2012, 1 (4), pp.8:86--8:99
Accès au bibtex
BibTex
titre
SSI Properties Revisited
auteur
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2012, 11S (1), <10.1145/2180887.2180898>
DOI
DOI : 10.1145/2180887.2180898
Accès au bibtex
BibTex
titre
FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2012, 36 (8), pp.606-619. <10.1016/j.micpro.2012.06.009>
DOI
DOI : 10.1016/j.micpro.2012.06.009
Accès au bibtex
BibTex

Conference papers

titre
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
Tapas 2012, Sep 2012, Deauville, France. 2012
Accès au bibtex
BibTex
titre
Copy Elimination on Data Dependence Graphs
auteur
Florian Brandner, Quentin Colombet
article
27th Annual ACM Symposium on Applied Computing (SAC'12), Mar 2012, Trento, Italy. ACM Press, pp.1916-1918, 2012, <10.1145/2245276.2232091>
DOI
DOI : 10.1145/2245276.2232091
Accès au bibtex
BibTex
titre
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), Feb 2012, New Orleans, United States. IEEE Computer Society, pp.285--286, 2012, <10.1145/2145816.2145856>
DOI
DOI : 10.1145/2145816.2145856
Accès au bibtex
BibTex
titre
Approximating the Transitive Closure of a Boolean-Affine Relation
auteur
Paul Feautrier
article
2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France. 2012
Accès au bibtex
BibTex
titre
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12, Jan 2012, Paris, France. 2012
Accès au bibtex
BibTex

Reports

titre
Modular termination of C programs
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
[Research Report] RR-8166, INRIA. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00760917/file/RR-8166.pdf BibTex
titre
On Sparse Intermediate Representations: Some Structural Properties and Applications to Just-In-Time Compilation
auteur
Fabrice Rastello
article
[University works] 2012, pp.154
Accès au bibtex
BibTex
titre
Decoupled (SSA-based) Register Allocators: From Theory to Practice, Coping with Just-In-Time Compilation and Embedded Processors Constraints
auteur
Quentin Colombet
article
[University works] 2012, pp.224
Accès au bibtex
BibTex
titre
A Polynomial Spilling Heuristic: Layered Allocation
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello
article
[Research Report] RR-8007, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00713693/file/RR-8007.pdf BibTex

Theses

titre
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints
auteur
Quentin Colombet
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. <NNT : 2012ENSL0777>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00764405/file/COLOMBET_Quentin_2012_These.pdf BibTex

2011

Conference papers

titre
An FPGA architecture for solving the Table Maker's Dilemma
auteur
Florent De Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco
article
Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. IEEE Computer Society, pp.187-194, 2011, <10.1109/ASAP.2011.6043267>
DOI
DOI : 10.1109/ASAP.2011.6043267
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00640063/file/PID1914885.pdf BibTex
titre
Towards a Time-predictable Dual-Issue Microprocessor: The Patmos Approach
auteur
Martin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst, Sven Karlsson, Tommy Thorn
article
Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm. Bringing Theory to Practice: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. 18, pp.11-21, 2011, OASICS 18 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; Bringing Theory to Practice: Predictability and Performance in Embedded Systems. <http://drops.dagstuhl.de/opus/volltexte/2011/3077/pdf/2.pdf>. <10.4230/OASIcs.PPES.2011.11>
DOI
DOI : 10.4230/OASIcs.PPES.2011.11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00585320/file/schoeberl-ppes11.pdf BibTex

Reports

titre
Parallel Copy Elimination on Data Dependence Graphs
auteur
Florian Brandner, Quentin Colombet
article
[Research Report] RR-7735, INRIA. 2011, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00625131/file/RR-7735.pdf BibTex
titre
Kernel Offloading with Optimized Remote Accesses
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7697, INRIA. 2011, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00611179/file/RR-7697.pdf BibTex
titre
Simplification of Boolean Affine Formulas
auteur
Paul Feautrier
article
[Research Report] RR-7689, INRIA. 2011, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609519/file/RR-7689.pdf BibTex
titre
FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
[Research Report] RR-7674, INRIA. 2011, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606977/file/RR-7674.pdf BibTex
titre
Program Analysis and Source-Level Communication Optimizations for High-Level Synthesis
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7648, INRIA. 2011, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00601822/file/RR-7648.pdf BibTex
titre
Computing Liveness Sets for SSA-Form Programs
auteur
Florian Brandner, Benoit Boissinot, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello
article
[Research Report] RR-7503, INRIA. 2011, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00558509/file/RR-7503.pdf BibTex

2010

Journal articles

titre
Parallel Copy Motion
auteur
Florent Bouchez, Quentin Colombet, Alain Darte, Christophe Guillon, Fabrice Rastello
article
SCOPES, ACM, 2010, pp.0
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00435844/file/article-hal.pdf BibTex

Conference papers

titre
Execution Models for Processors and Instructions
auteur
Florian Brandner, Pavlu Viktor, Krall Andreas
article
NORCHIP 2010, Nov 2010, Finland. IEEE, 2010
Accès au bibtex
BibTex
titre
Split Register Allocation: Linear Complexity Without the Performance Penalty
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello, John Cavazos
article
International Conference on High Performance and Embedded Architectures and Compilers, Oct 2010, Pisa, Italy. 15 p, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00551513/file/paper.pdf BibTex
titre
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
auteur
Paul Feautrier, Laure Gonnord
article
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. 2010, <10.1016/j.entcs.2010.09.014>
DOI
DOI : 10.1016/j.entcs.2010.09.014
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523320/file/tapas10_FeautrierGonnord.authorversion.pdf BibTex
titre
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Static Analysis Symposium, Sep 2010, Perpignan, France. 2010, <10.1007/978-3-642-15769-1>
DOI
DOI : 10.1007/978-3-642-15769-1
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00523298/file/rankingCompsys_sas2010.pdf BibTex
titre
Completeness of automatically generated instruction selectors
auteur
Florian Brandner
article
François Charot, Frank Hannig, Jürgen Teich, and Christophe Wolinski. 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), Jul 2010, Rennes, France. IEEE Computer Society, pp.175 - 182, 2010, <10.1109/ASAP.2010.5540994>
DOI
DOI : 10.1109/ASAP.2010.5540994
Accès au bibtex
BibTex

Reports

titre
Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators. An Experience with the Altera C2H HLS Tool.
auteur
Christophe Alias, Alain Darte, Alexandru Plesco
article
[Research Report] RR-7281, INRIA. 2010, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00482035/file/RR-7281.pdf BibTex
titre
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
[Research Report] RR-7235, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00464356/file/RR-7235.pdf BibTex

Theses

titre
Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators
auteur
Alexandru Plesco
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2010. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00544349/file/alexandru.plesco_these.pdf BibTex

Preprints, Working Papers, ...

titre
Automatic Generation of FPGA-Specific Pipelined Accelerators
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549682/file/rr.pdf BibTex

2009

Journal articles

titre
Embedded software energy characterization: Using non-intrusive measures for application source code annotation
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Journal of Embedded Computing, IOS Press, 2009, 3 (3), pp.10. <10.3233/JEC-2009-90>
DOI
DOI : 10.3233/JEC-2009-90
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00391186/file/jec08.pdf BibTex
titre
A reindexing based approach towards mapping of DAG with affine schedules onto parallel embedded systems
auteur
Clementin Tayou Djamegni, Patrice Quinton, Sanjay Rajopadhye, Tanguy Risset, Maurice Tchuente
article
Journal of Parallel and Distributed Computing, Elsevier, 2009, 69 (1), pp.1-11
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00410708/file/Allo2D.pdf BibTex

Conference papers

titre
Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco. IEEE, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00349918/file/aiccsa2009_gonnord_babau_with_copyright.pdf BibTex

Reports

titre
Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson
article
[Research Report] 2009, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00434037/file/RR-7037.pdf BibTex
titre
SSI Revisited
auteur
Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello
article
[Research Report] LIP 2009-24, 2009, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00404236/file/bboissin-ssi-RR.pdf BibTex

Theses

titre
Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctes
auteur
Florent Bouchez
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00403504/file/thesis-final.pdf BibTex

2008

Conference papers

titre
Coupling Loop Transformations and High-Level Synthesis
auteur
Tanguy Risset, Alexandru Plesco
article
Symposium en Architecture de machines (Sympa 2008), 2008, Fribourg, Switzerland
Accès au bibtex
BibTex

Reports

titre
Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency
auteur
Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon
article
[Research Report] 2008, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00349925/file/RR.pdf BibTex

Theses

titre
Gestion des bases de données biologiques sur grilles de calculs
auteur
Gaël Le Mahec
article
Modélisation et simulation. Université Blaise Pascal - Clermont-Ferrand II, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00462306/file/LeMahec.pdf BibTex

2007

Journal articles

titre
Worldsens : outil de simulation pour la conception d'applications de réseaux de capteurs
auteur
Antoine Fraboulet, Guillaume Chelius
article
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.10
Accès au bibtex
BibTex
titre
Master Interface for On-Chip Hardware Accelerator Burst Communications
auteur
Antoine Fraboulet, Tanguy Risset
article
The Journal of VLSI Signal, Springer Verlag, 2007, 49 (1), pp.73-85. <10.1007/s11265-006-0045-2>
DOI
DOI : 10.1007/s11265-006-0045-2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00391222/file/JVLSI05.pdf BibTex

Conference papers

titre
Fast and Accurate Embedded Systems Energy Characterization Using Non-intrusive Measurements
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, Sep 2007, Gothenburg, Sweden. 4644/2007, pp.10-19, 2007, <10.1007/978-3-540-74442-9>
DOI
DOI : 10.1007/978-3-540-74442-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399609/file/patmos07.pdf BibTex
titre
Long-Range Dependence and On-chip Processor Traffic
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
ReCoSoc 2007: Reconfigurable Communication-centric SoCs, Jun 2007, Montpellier, France. pp.8, 2007
Accès au bibtex
BibTex
titre
eSimu : a Fast and Accurate Energy Consumption Simulator for Embedded System
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
From Theory to Practice in Wireless Sensor Networks, Jun 2007, Helsinki, Finland. pp.1-6, 2007, <10.1109/WOWMOM.2007.4351799>
DOI
DOI : 10.1109/WOWMOM.2007.4351799
Accès au bibtex
BibTex
titre
Loi de puissance et caractérisation des réseaux dynamiques
auteur
Eric Fleury, Jean-Loup Guillaume, Céline Robardet, Antoine Scherrer
article
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.17-20, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176964/file/65-fleury-algotel.pdf BibTex
titre
Worldsens: development and prototyping tools for application specific wireless sensors networks
auteur
Antoine Fraboulet, Guillaume Chelius, Eric Fleury
article
ACM. 6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), Apr 2007, Cambridge, United States. pp.176-185, 2007, <10.1145/1236360.1236385>
DOI
DOI : 10.1145/1236360.1236385
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00384835/file/ipsn-07.pdf BibTex
titre
Worldsens: a fast and accurate development framework for sensor network applications
auteur
Guillaume Chelius, Antoine Fraboulet, Eric Fleury
article
ACM. Symposium on Applied Computing (SAC 2007), Mar 2007, Seoul, South Korea. pp.222-226, 2007, <10.1145/1244002.1244059>
DOI
DOI : 10.1145/1244002.1244059
Accès au bibtex
BibTex

Reports

titre
On Frequency Optimisation for Power Saving in WSNs: Finding Optimum Hardware Timers Frequencies
auteur
Andreea Picu, Antoine Fraboulet, Eric Fleury
article
[University works] RR-6290, INRIA. 2007, pp.42
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00172015/file/RR-6290.pdf BibTex
titre
Elementary transformation analysis for Array-OL
auteur
Paul Feautrier
article
[Research Report] RR-6193, INRIA. 2007, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00146323/file/RR-6193.pdf BibTex

2006

Conference papers

titre
Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution
auteur
Pierre Borgnat, Nicolas Larrieu, Philippe Owezarski, Patrice Abry, Julien Aussibal, Laurent Gallon, Guillaume Dewaele, Karima Boudaoud, Laurent Bernaille, Antoine Scherrer, Yu Zhang, Yann Labit
article
CFIP 2006 - 12ème Colloque Francophone sur l'Ingénierie des Protocoles, Oct 2006, Tozeur, Tunisie. Hermès, pp.1-12, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00111928/file/CFIP-ID-37.pdf BibTex
titre
A Generic Multi-Phase On-Chip Traffic Generation environment
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
Application-specific Systems, Architectures and Processors, Sep 2006, Steamboat Springs, Colorado, United States. pp.23-27, 2006, <10.1109/ASAP.2006.5>
DOI
DOI : 10.1109/ASAP.2006.5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399618/file/asap06.pdf BibTex
titre
Beyond Iteration Vectors: Instancewise Relational Abstract Domains
auteur
Pierre Amiranoff, Albert Cohen, Paul Feautrier
article
Static Analysis Symposium (SAS), 2006, Seoul, Korea, Unknown or Invalid Region. 2006
Accès au bibtex
BibTex
titre
Demonstration of worldsens: a fast prototyping and performance evaluation of wireless sensor network applications & protocols
auteur
Guillaume Chelius, Antoine Fraboulet, Eric Fleury
article
International Symposium on Mobile Ad Hoc Networking & Computing, 2006, Florence, Italy. pp.131 - 133, Posters and demos, 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399616/file/realman.pdf BibTex
titre
WorldSens: system tools for embedded sensor networks
auteur
Guillaume Chelius, Antoine Fraboulet, Eric Fleury
article
Real-Time Systems Symposium, 2006, Brazil. pp.4, WIP Session, 2006
Accès au bibtex
BibTex

Other publications

titre
Embedded Systems Energy Characterization using non-Intrusive Instrumentation
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Research Report RR2006-37, LIP - ENS Lyon. 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399644/file/RR2006-37.pdf BibTex
titre
Booting and Porting Linux and uClinux on a new platform
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Research Report 2006-08, LIP, ENS-Lyon, 28 pages. 2006
Accès au bibtex
BibTex
titre
Porting the Mutek Operating System to ARM Platforms
auteur
Nicolas Fournel, Antoine Fraboulet, Paul Feautrier
article
Research Report 2006-12, LIP, ENS-Lyon. 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399645/file/TR2006-12.pdf BibTex

Theses

titre
Analyses statistiques des communications sur puce
auteur
Antoine Scherrer
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2006. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00195131/file/these-scherrer.pdf BibTex

2005

Other publications

titre
Analysis and Synthesis of Cycle-Accurate On-Chip Traffic with Long-Range Dependence
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
Technical report 2005-53, LIP, ENS-Lyon, 11 pages. 2005
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399646/file/RR2005-53.pdf BibTex

2004

Journal articles

titre
VLT/NACO infrared adaptive optics images of small scale structures in OMC1
auteur
F Lacombe, E Gendron, D Rouan, Y Clénet, D Field, L. Lemaire, M Gustafsson, A.-M Lagrange, D Mouillet, G Rousset, T Fusco, L Rousset-Rouvì Ere, B Servan, C. Marlot, P Feautrier
article
Astronomy and Astrophysics - A&A, EDP Sciences, 2004, 417 (1), pp.L5-L9. <http://www.aanda.org/articles/aa/abs/2004/13/aafc186/aafc186.html>. <10.1051/0004-6361:20040030>
DOI
DOI : 10.1051/0004-6361:20040030
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00000915/file/aafc186.pdf BibTex

Conference papers

titre
Efficient on-chip communications for data-flow IPs
auteur
Antoine Fraboulet, Tanguy Risset
article
Application-Specific Systems, Architectures and Processors, 2004, Galveston, Texas, United States. pp.293- 303, 2004, <10.1109/ASAP.2004.1342479>
DOI
DOI : 10.1109/ASAP.2004.1342479
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399632/file/ASAP04.pdf BibTex
titre
Hardware wrapper classification and requirements for on-chip interconnects.
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
Signaux, Circuits et Systèmes, 2004, Monastir, Tunisia. pp.4, 2004
Accès au bibtex
BibTex
titre
Hardware-Software Fast and Accurate Prototyping with Soclib & MMAlpha
auteur
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
article
Pimentel and Vassiliadis. Computer Systems: Architecture, Modeling, and Simulation (SAMOS), 2004, Greece. Springer Berlin / Heidelberg, 3133, pp.453-462, 2004
Accès au bibtex
BibTex

Other publications

titre
Cycle Accurate Simulation Model Generation for SoC Prototyping
auteur
Antoine Fraboulet, Tanguy Risset, Antoine Scherrer
article
RR 2004-18, ENS-Lyon, 24 pages. 2004
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00399647/file/RR2004-18.pdf BibTex

Reports

titre
Scalable and Modular Scheduling
auteur
Paul Feautrier
article
RR-5180, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071408/file/RR-5180.pdf BibTex

2003

Conference papers

titre
Étude de la couche transport des réseaux sur puce
auteur
Antoine Scherrer, Antoine Fraboulet
article
Symposium en Architecture et Adéquation Algorithme Architecture, 2003, La Colle sur Loup, France. pp.329-336, 2003
Accès au bibtex
BibTex

2002

Journal articles

titre
Constructing and Exploiting Linear Schedules with Prescribed Parallelism
auteur
Alain Darte, Rob Schreiber, B. Ramakrishna Rau, Frédéric Vivien
article
ACM transactions on Design Automation of Electronic Systems, ACM, 2002, 7 (1), pp.159-172
Accès au bibtex
BibTex

Conference papers

titre
Optimisation de la mémoire et de la consommation des systèmes multimédia embarqués
auteur
Antoine Fraboulet, Anne Mignotte
article
Colloque CAO de circuits intégrés et systèmes, May 2002, France. pp.177-180, 2002
Accès au bibtex
BibTex

2001

Conference papers

titre
Loop fusion for memory space optimization
auteur
Antoine Fraboulet, Karen Godary, Anne Mignotte
article
International Symposium on System Synthesis, Oct 2001, Montréal, Canada. pp.95-100, 2001
Accès au bibtex
BibTex
titre
Memory Optimization of Data Flow Applications at the Codesign Level
auteur
Antoine Fraboulet, Laurence Just-Meunier, Anne Mignotte
article
Cadence Technical Conference, 2001, San Jose, United States. 6 p., 2001
Accès au bibtex
BibTex

1997

Journal articles

titre
HPFIT : A set of Integrated Tools for the Parallelization of Applications Using High performance Fortran. Part II : Data-structure Visualization and HPF Extensions for Irregular Problems
auteur
Thomas Brandes, Serge Chaumette, Marie-Christine Counilh, Jean Roman, Alain Darte, Frédéric Desprez, Jean-Christophe Mignot
article
Parallel Computing, Elsevier, 1997, 23 (1-2), pp.89-105
Accès au bibtex
BibTex
titre
HPFIT : A set of Integrated Tools for the Parallelization of Applications Using High performance Fortran. Part I : HPFIT and the TransTOOL Environment.
auteur
Serge Chaumette, Thomas Brandes, Marie-Christine Counilh, Jean Roman, Alain Darte, Frédéric Desprez, Jean-Christophe Mignot
article
Parallel Computing, Elsevier, 1997, 23 (1-2), pp.71-87
Accès au bibtex
BibTex