Production scientifique


Les publications obtenues dans le cadre de ma thèse sont précédées de la lettre “T”.

Brevets (B)

  1. Christophe Alias et Alexandru Plesco. Procédé de synthèse de circuits, dispositif et programme d’ordinateur associés. Brevet FR1453308, avril 2014.
    [VOIR]

Logiciels enregistrés (L)

Ces logiciels sont transférés par INRIA dans la start-up XtremLogic. Les pourcentages indiquent la participation à l’implémentation (spécification, programmation). J’ai entièrement programmé ces logiciels.

  1. Christophe Alias (90%) et Alexandru Plesco (10%). ‘Dcc version 1’,
    enregistrement APP no IDDN.FR.001.070003.000.S.P.2013.000.10600, version du 23/11/2012.
    Dcc (Data-aware process network C compiler) analyse un programme régulier séquentiel écrit en langage C et construit une architecture d’ordinateur parallèle équivalente sous la forme d’un réseau de processus communicants (Data-aware Process Network, DPN). Les communications internes (canaux) et externes (mémoire globale) sont automatiquement gérées en s’adaptant optimalement aux caractéristiques de la mémoire globale (temps d’accès et débit). Le parallélisme est réglable. Dcc est le logiciel phare de la start-up XtremLogic et implémente la plupart des résultats de recherche obtenus dans ce cadre.
    >1,700 lignes de C++, j’en suis l’unique programmeur.
    [VOIR]
  2. Christophe Alias (100%). ‘PoCo version 1’,
    enregistrement APP no IDDN.FR.001.240002.000.S.P.2012.000.10000, version du 09/05/2011.
    PoCo (Polyhedral Compilation framework) est une bibliothèque qui permet de développer des compilateurs paralléliseurs pour programmes réguliers. PoCo implémente les analyses de programme classiques (dépendances, ordonnancement, génération de code) et un calculateur symbolique sur les traces d’exécutions (représentées par des polyèdres convexes).
    > 13,000 lignes de C++, j’en suis l’unique programmeur.
    [VOIR]
  3. Christophe Alias (95%) et Alain Darte (5%). ‘Bee version 1’,
    enregistrement APP no IDDN.FR.001.240001.000.S.P.2012.000.10000, version du 09/05/2011.
    Bee analyse un programme régulier muni d’un ordre d’exécution alternatif et compacte les tableaux temporaires. Bee permet de dimensionner et d’allouer efficacement les mémoires de communication d’un réseau de processus parallèles. C’est un outil essentiel pour construire un compilateur paralléliseur.
    > 3,000 lignes de C++, j’en suis l’unique programmeur.
    Démo en ligne sur http://compsys-tools.ens-lyon.fr/bee/index.html
    [VOIR]

Logiciels non-enregistrés (L)

  1. Christophe Alias, Alain Darte, Paul Feautrier, et Laure Gonnord. Rank, 2009.
    Rank analyse un programme irrégulier (p. ex. avec boucles while) et tente de déterminer si le programme termine quelles que soient ses entrées. En cas de succés, Rank calcule une borne supérieure du nombre d’étapes de calcul requises pour terminer le calcul.
    > 3,000 lignes de C++, j’en suis l’unique programmeur
    Téléchargement + Démo en ligne sur http://compsys-tools.ens-lyon.fr/rank/index.php

Publications dans les revues internationales à comité de lecture (J)

  1. Christophe Alias, Bogdan Pasca et Alexandru Plesco. FPGA-specific synthesis of loop-nests with pipeline computational cores. Microprocessors and Microsystems, 36(8):606-619, Novembre 2012.
    [VOIR]

Communications écrites à des congrès internationaux avec comité de lecture et publication dans des actes (C)

  1. Guillaume Iooss, Christophe Alias et Sanjay Rajopadhye. On program equivalence with reductions. In 21st International Static Analysis Symposium (SAS’14), Munich, Germany, Septembre 2014.
    [VOIR]
  2. Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias et Yun Zou. CART: Constant aspect ratio tiling. In Sanjay Rajopadhye and Sven Verdoolaege, editors, 4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Vienna, Austria, Janvier 2014.
    [VOIR]
  3. Christophe Alias, Alain Darte et Alexandru Plesco. Optimizing remote accesses for offloaded kernels: Application to high-level synthesis for FPGA. In ACM SIGDA Intl. Conference on Design, Automation and Test in Europe (DATE’13), Grenoble, France, 2013.
    [VOIR]
  4. Christophe Alias, Alain Darte et Alexandru Plesco. Optimizing remote accesses for offloaded kernels: Application to high-level synthesis for FPGA. In 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT’12), 2012.
    [VOIR]
  5. Christophe Alias, Bogdan Pasca et Alexandru Plesco. Automatic generation of FPGA-specific pipelined accelerators. In International Symposium on Applied Reconfigurable Computing (ARC’11), 2011.
    [VOIR]
  6. Christophe Alias, Alain Darte, Paul Feautrier et Laure Gonnord. Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs. In International Static Analysis Symposium (SAS’10), 2010.
    [VOIR]
  7. Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin et Tin fook Ngai. Data layout transformations for enhancing data locality on NUCA chip multiprocessors. In ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT’09), 2009.
    [VOIR]
  8. Christophe Alias, Fabrice Baray et Alain Darte. Bee+cl@k : An implementation of lattice-based array contraction in the source-to-source translator rose. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’07), 2007.
    [VOIR]
  9. Silvius Rus, Guobin He, Christophe Alias et Lawrence Rauchwerger. Region array SSA. In ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT’06), 2006.
    [VOIR]
  10. T: Christophe Alias et Denis Barthou. Deciding where to call performance libraries. In European Conference on Parallel Processing (Euro-Par’05), 2005.
    [VOIR]
  11. T: Christophe Alias et Denis Barthou. On domain specific languages re-engineering. In IEEE/ACM International Conference on Generative Programming and Component Engineering (GPCE’05), 2005.
    [VOIR]
  12. T: Christophe Alias. Tema : an efficient tool to find high-performance library patterns in source code. In Intl. Workshop on Patterns in High-Performance Computing (PatHPC’05), 2005.
    [VOIR]
  13. T: Christophe Alias et Denis Barthou. Algorithm recognition based on demand-driven data-flow analysis. In IEEE Working Conference on Reverse Engineering (WCRE’03), 2003.
    [VOIR]
  14. T: Christophe Alias et Denis Barthou. On the recognition of algorithm templates. In International Workshop on Compiler Optimization meets Compiler Verification (COCV’03), 2003.
    [VOIR]

Preprints à soumettre en revue internationale (P)

  1. Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias et Yun Zou. Mono-parametric Tiling is a Polyhedral Transformation. Research Report RR-8802, INRIA, Octobre 2015.
    [VOIR]
  2. Christophe Alias et Alexandru Plesco. Data-aware Process Networks. Research Report RR-8735, INRIA, Juin 2015.
    [VOIR]

Thèse

  1. Christophe Alias. Program Optimization by Template Recognition and Replacement. PhD thesis, Université de Versailles, 2005.
    [VOIR]

Conférences invitées (T)

Dans cette section, cours désigne un cours de recherche pour stagiaires de M2, doctorants et chercheurs ; tool demo désigne une présentation orale d’un logiciel ; présentation désigne une présentation orale dans un workshop sur simple invitation.

  1. Guillaume Iooss, Sanjay Rajopadhye, Christophe Alias et Yun Zou. CART: Constant aspect ratio tiling. In 9th International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC’14), Vienna, Austria, Janvier 2014.
    (poster)
    [VOIR]
  2. Christophe Alias. Bee: Buffer Sizing and Allocation under Scheduling Constraints. In First Spring School on Polyhedral Code Analysis and Optimizations. Lyon, France, Mai 2013.
    (tool demo)
    [VOIR]
  3. Guillaume Iooss, Sanjay Rajopadhye et Christophe Alias. Semantic tiling. In Workshop on Leveraging Abstractions and Semantics in High-performance Computing (LASH-C’13), Shenzhen, China, Février 2013.
    (présentation)
    [VOIR]
  4. Christophe Alias, Alain Darte, Paul Feautrier et Laure Gonnord. Rank: A tool to check program termination and computational complexity. In International Workshop on Constraints in Software Testing Verification and Analysis (CSTVA’13), page 238, Luxembourg, Mars 2013.
    (tool demo)
    [VOIR]
  5. Guillaume Iooss, Christophe Alias et Sanjay Rajopadhye. Semantic Program Optimization avoiding (some) Data Dependencies. In 8th International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC’13), Berlin, Germany, Janvier 2013.
    (poster)
    [VOIR]
  6. Christophe Alias, Alain Darte et Alexandru Plesco. Optimizing remote accesses for offloaded kernels: Application to high-level synthesis for FPGA. In 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP’12), 2012.
    (poster)
    [VOIR]
  7. Christophe Alias, Alain Darte et Alexandru Plesco. Optimizing DDR-SDRAM communications at c-level for automatically-generated hardware accelerators. an experience with the altera C2H HLS tool. In IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP’10), 2010.
    (poster)
    [VOIR]
  8. Guillaume Andrieu, Christophe Alias et Laure Gonnord. SToP: Scalable termination analysis of (C) programs (tool presentation). In International Workshop on Tools for Automatic Program Analysis (TAPAS’12), Deauville, France, September 2012.
    (présentation)
    [VOIR]
  9. Christophe Alias. Automatic Parallelization in the Polyhedral Model. The Ohio State University, Dept. of CS, Columbus, USA, Avril 2008.
    (4 cours)
    [VOIR]
Ce document a été traduit de LATEX par HEVEA