CAMUS - 2016 - Annual activity report

CAMUS

CAMUS - 2016

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
OpenScop
PolyLib
ORWL and P99
Stdatomic and Musl

New Results

Formal Proofs about Happens-before in Explicitly Parallel Polyhedral Programs
Loop Nests and Integer Polyhedra
Splitting Polyhedra to Generate More Efficient Code
Code-Bones for Fast and Flexible Runtime Code Generation
Automatic Collapsing of Non-Rectangular Loops
Efficient Data Structures for a PIC Code on SIMD Architectures
Interactive Code Restructuring
Automatic Generation of Adaptive Simulation Codes
Polyhedral Compiler White-Boxing
Mapping Deviation
Combining Locking and Data Management Interfaces

Bilateral Contracts and Grants with Industry

Caldera
NANO 2017/PSAIC

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

ORWL and P99

ORWL is a reference implementation of the Ordered Read-Write Lock tools as described in [1]. The macro definitions and tools for programming in C99 that have been implemented for ORWL have been separated out into a toolbox called P99. ORWL is intended to become opensource, once it will be in a publishable state. P99 is available under a QPL at http://p99.gforge.inria.fr/.

Participants: Jens Gustedt, Mariem Saied, Daniel Salas
Contact: Jens Gustedt
http://p99.gforge.inria.fr/, http://orwl.gforge.inria.fr/

Previous |

Home | Next next