CAMUS - 2015 - Annual activity report

CAMUS

CAMUS - 2015

Team Camus

Members

Overall Objectives

Research Program

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

Application Domains

Highlights of the Year

New Software and Platforms

APOLLO
CLooG
Clan
Clay
IBB
XFOR-Wizard
XFORGEN
OpenScop
ORWL and P99
stdatomic and musl
PolyLib

New Results

Formal Proofs for an Ordering Relation in Explicitly Parallel Programs
Validity Conditions for Transformations of Non-Affine Programs
Automatic Parallelization of Nonlinear Loops
Dynamic Code Generation for Speculative Polyhedral Optimization
The XFOR Programming Structure
Dynamic Optimization of Binary Code
Combining Locking and Data Management Interfaces
Efficient Execution of Polyhedral Codes on GPU and CPU+GPU Systems
Interactive Code Restructuring
Automatic Generation of Adaptive Simulation Codes
Polyhedral Compiler White-Boxing

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Software and Platforms

XFOR-Wizard

Functional Description

Xfor-Wizard is a programming environment for XFOR programs, assisting users in writing XFOR codes and applying optimizing transformations. Automatic dependence analysis and comparisons against a referential code (XFOR-loops or classic for-loops) are achieved to order to help the user in ensuring semantic correctness of the written code.

Participants: Imen Fassi, Philippe Clauss and Cédric Bastoul
Contact: Philippe Clauss

Previous |

Home | Next next