Inria
/
Raweb 2010
Presentation of the Project compsys
Logo Inria
compsys
Compilation and Embedded Computing Systems
2010 Research Team Activity Report
Grenoble - Rhône-Alpes
Field :
Algorithmics, Programming, Software and Architecture
Theme : Architecture and Compiling
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
General presentation
Highlights of the first 4-years period
Highlights of 2010
Scientific Foundations
Introduction
Back-end code optimizations for embedded processors
Program analysis and transformations for high-level synthesis
Application Domains
Software
Introduction
Pip
Syntol
Cl@k
Bee
Chuba
RanK
C2fsm
LAO developments in aggressive compilation
LAO developments in JIT compilation
New Results
Introduction
Split register allocation: linear complexity without performance penalty
Parallel copy motion and critical edge splitting
Static single information form: debunking
“Optimal” formulation of register spilling
Fast computation of liveness sets
Decoupled graph-coloring register allocation with hierarchical aliasing
Graph-coloring and tree-scan register allocation using repairing
Program analysis and communication optimizations for HLS
Loop transformations for pipelined floating-point arithmetic operators
Program termination and worst-case computational complexity
Completeness of instruction selectors
Execution models for processors and instructions
Contracts and Grants with Industry
Nano2012 MEDIACOM project with stmicroelectronics on SSA, register allocation, and JIT compilation
Nano2012 S2S4HLS project with stmicroelectronics on source-to-source transformations for high-level synthesis
Other Grants and Activities
National initiatives
European initiatives
International initiatives
Informal cooperations
Dissemination
Conferences, journals, and book chapters
Teaching and thesis advising
PhD defense committees and hiring committees
Workshops, seminars, and invited talks
Bibliography
Publications of the year
References in notes
