COMPSYS - 2013 - Annual activity report

COMPSYS

COMPSYS - 2013

Project-Team Compsys

Members

Overall Objectives

Introduction
General Presentation
Summary of Compsys I Achievements
Quick view of Compsys II Achievements and directions for Compsys III
Highlights of the Year

Research Program

Generalities
Back-End Code Optimizations for Embedded Processors
High-Level Program Analysis and Transformations

Application Domains

Compilers for Embedded Computing Systems

Software and Platforms

Introduction
Pip
Syntol
Cl@k
PoCo
Bee
Chuba
Dcc
IceGEN
C2fsm
Aspic
RanK
SToP
Simplifiers
LAO Developments in Aggressive Compilation
LAO Developments in JIT Compilation
Low-Level Exchange Format (TireX) and Minimalist Intermediate Representation (MinIR)

New Results

Parameterized Construction of Program Representations for Sparse Dataflow Analysiss
A Framework for Enhancing Data Reuse via Associative Reordering
Function Cloning Revisited
Register Allocation and Promotion through Combined Instruction Scheduling, Loop Splitting and Unrolling
Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential
Characterizing the Inherent Data Movement Complexity of Computations via Lower Bounds
Enhancing the Compilation of Synchronous Dataflow Programs
Synthesis of Ranking Functions using Extremal Counter-Examples
Data-Aware Process Networks
Program Equivalence Modulo A/C (Associativity/Commutativity)
Constant Aspect-Ratio Parametric Tiling
Parametric Tiling with Inter-Tile Data Reuse
Data Races in the Parallel Language X10
Clock Removal in X10
Static Analysis of OpenStream Programs
Array Contraction in Parallel Programs

Bilateral Contracts and Grants with Industry

Tirex Contract with Kalray
ManycoreLabs Project with Kalray
Technological Transfer Towards Zettice Start-Up

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries

Bibliography

Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

COMPSYS

Compilation and Embedded Computing Systems

Research centre: Grenoble - Rhône-Alpes

In partnership with: CNRS, Université Claude Bernard (Lyon 1), Ecole normale supérieure de Lyon

In collaboration with: Laboratoire de l'Informatique du Parallélisme (LIP)

Field: Algorithmics, Programming, Software and Architecture

Theme: Architecture, Languages and Compilation

Keywords: Compilation, Combinatorial Optimization, Hardware Accelerators, High-level Synthesis, High Performance Computing