Inria
/
Raweb 2010
Presentation of the Team CAMUS
Logo Inria
CAMUS
Compilation pour les Architectures MUlti-coeurS
2010 Research Team Activity Report
Nancy - Grand Est
Field :
Algorithmics, Programming, Software and Architecture
Theme : Architecture and Compiling
Presentation of the Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Overall Objectives
Highlights
Scientific Foundations
Research directions
Static parallelization and optimization
Profiling and execution behavior modeling
Dynamic parallelization and optimization, virtual machine
Proof of program transformations for multicores
Application Domains
Software
PolyLib
NLR
Dynamic version selector
Binary files decompiler
Dynamic depency analyser
VMAD software and LLVM
Polyhedral prover
New Results
Dynamic version selector
VMAD and LLVM
Static analysis of the memory behavior of executable programs
Dynamic analysis of the memory behavior of executable programs
Dynamic dependency analysis
Binary parallelization
Proof of polyhedral transformations
Other Grants and Activities
National Initiatives
International Initiatives
Dissemination
Animation of the scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes
