Search - Archive ouverte HAL Access content directly

Filter your results

55 Results
Image document

Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE

Christophe Alias , Fabrice Baray , Alain Darte
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
Conference papers hal-03106126v1

Rank: a tool to check program termination and computational complexity

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Conference papers hal-00801571v1
Image document

On the Verification of Polyhedral Program Transformations

Christophe Alias , Guillaume Iooss , Sanjay Rajopadhye
HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8
Conference papers hal-03106070v1
Image document

fkcc: the Farkas Calculator

Christophe Alias
[Research Report] RR-9313, Inria. 2019
Reports hal-02414224v1
Image document

High-Level Synthesis of Pipelined FSM from Loop Nests

Christophe Alias , Fabrice Rastello , Alexandru Plesco
[Research Report] 8900, INRIA. 2016, pp.18
Reports hal-01301334v2
Image document

On Channel Restructuring for Complete FIFO Recovery

Christophe Alias
ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates
Poster communications hal-02433318v1
Image document

fkcc: the Farkas Calculator

Christophe Alias
TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536
Conference papers hal-03106000v1
Image document

Improving Communication Patterns in Polyhedral Process Networks

Christophe Alias
[Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13
Reports hal-01665155v1
Image document

Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators

Christophe Alias , Alain Darte , Alexandru Plesco
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France
Conference papers hal-01664033v1
Image document

FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks

Christophe Alias
[Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018
Reports hal-01818585v1
Image document

Lightweight Array Contraction by Trace-Based Polyhedral Analysis

Hugo Thievenaz , Keiji Kimura , Christophe Alias
C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany
Conference papers hal-03862219v1
Image document

Data-aware Process Networks

Christophe Alias , Alexandru Plesco
[Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32
Reports hal-01158726v1
Image document

A Compiler Algorithm to Guide Runtime Scheduling

Christophe Alias , Samuel Thibault , Laure Gonnord
[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
Reports hal-02421327v1
Image document

Automatic Generation of FPGA-Specific Pipelined Accelerators

Christophe Alias , Bogdan Pasca , Alexandru Plesco
International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom
Conference papers ensl-00549682v1
Image document

CART: Constant Aspect Ratio Tiling

Guillaume Iooss , Sanjay Rajopadhye , Christophe Alias , Yun Zou
4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria
Conference papers hal-00915827v1
Image document

Estimation of Parallel Complexity with Rewriting Techniques

Christophe Alias , Carsten Fuhs , Laure Gonnord
Workshop on Termination, Sep 2016, Obergurgl, Austria
Conference papers hal-01345914v1
Image document

Region Array SSA

Silvius Rus , Guobin He , Christophe Alias , Lawrence Rauchwerger
ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'06), Sep 2006, Seattle, United States
Conference papers hal-03106226v1
Image document

Lattice-Based Array Contraction: From Theory to Practice

Christophe Alias , Alain Darte , Fabrice Baray
[Research Report] LIP RR-2007-44, LIP - Laboratoire de l’Informatique du Parallélisme. 2007
Reports hal-02127064v1
Image document

Contributions to Program Optimization and High-Level Synthesis

Christophe Alias
Hardware Architecture [cs.AR]. ENS de Lyon, 2019
Habilitation à diriger des recherches tel-02151877v2
Image document

Rephrasing Polyhedral Optimizations with Trace Analysis

Hugo Thievenaz , Keiji Kimura , Christophe Alias
12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary
Conference papers hal-03862218v1
Image document

Optimisation de programmes par reconnaissance de templates

Christophe Alias
Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français. ⟨NNT : ⟩
Theses tel-01892198v1
Image document

Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord , Clément Quinson
[Research Report] 2009, pp.31
Reports inria-00434037v1
Image document

A Polyhedral Approach for Scalar Promotion

Alec Sadler , Christophe Alias , Hugo Thievenaz
Preprints, Working Papers, ... hal-03449994v1
Image document

Farkas Lemma made easy

Christophe Alias
10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6
Conference papers hal-02422033v1
Image document

FADAlib: an open source C++ library for fuzzy array dataflow analysis

Marouane Belaoucha , Christophe Alias , Denis Barthou , Sid Touati
Software hal-03445991v1

On Domain Specific Language Re-Engineering

Christophe Alias , Denis Barthou
Sep 2005
Conference papers hal-00141073v1

SToP : Scalable Termination analysis of (C) Programs (tool presentation)

Guillaume Andrieu , Christophe Alias , Laure Gonnord
Tapas 2012, Sep 2012, Deauville, France
Conference papers hal-00760926v1

Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA

Christophe Alias , Alain Darte , Alexandru Plesco
17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12), Feb 2012, New Orleans, United States. pp.285--286, ⟨10.1145/2145816.2145856⟩
Conference papers hal-00761473v1
Image document

Data-Aware Process Networks

Christophe Alias , Alexandru Plesco
CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩
Conference papers hal-03143777v1
Image document

Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings

Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord
[Research Report] RR-7235, INRIA. 2010, pp.32
Reports inria-00464356v1