News – CASH: Compilation and Analysis, Software and Hardware

Three new PhD students

For the start of the new academic year of 2021-2022, We welcome three new PhD students!

Nicolas Chappe will work on formalizing concurrent programs in Vellum with Yannick Zakowski and Matthieu Moy
Hugo Thievenaz will work on polyhedral compilation schemes using dynamic analysis with Christophe Alias
Thaïs Baudon will work on optimizing algebraic data types and their memory representation with Gabriel Radanne and Laure Gonnord

Cash seminars and reading groups: October

Cash seminars have started again, they are now coordinated by Yannick and Ludovic. October seminars were:

SEM 14/10 : Ludo Phs Thesis of Pierre Leca “Combining active object and BSP programs”

Reading group 21/10 : Christophe “La compilation polyédrique en 30 minutes”

SEM 28/10 :

Ludo (+ Laure): petit topo informel de 15 min sur le nouveau GdT CLAP dans le GdR GPL (avec explication des acronymes)
Yannick (15 minutes) : tour haut niveau du projet Vellvm — principe, objectifs, challenges et sous-projets en cours et futurs

Reading group 04/11 : Laure Interprétation abstraite 101 (30 min)

Two new permanent members !

We are pleased to announce that Gabriel Radanne and Yannick Zakowski are joining the team in the fall of 2020. Welcome !

14th Cash reading group

14th edition of CASH reading group will be on

25/3 at 14:00 in room 316
This will be a special session where I will speak about communication timing based on an old article:

Synchronous, asynchronous, and causally ordered communication
Bernadette Charron–Bost, Friedemann Mattern, Gerard Tel
1996

Program: 10 minutes brief introduction of the paper followed by details on the results and formalisation and discussion for those who want to stay after the introduction

Presentation will be based on slides of a former course I used to give in Nice

13th cash reading group 26/2 at 14:00 in room 316

13th edition of CASH reading group will be on

26/2 at 14:00 in room 316
Program:

Nicolas Chappe: Attached and Detached Closures in Actors — AGERE ’18
Rémy Neveu: Area Implications of Memory Partitioning for High-Level Synthesis on FPGAs — 2014 24th International Conference on Field Programmable Logic and Applications (FPL)

12th Cash reading group

will be on Wed 29/1/2020 at 15:30 in room 316. I will present a paper from hlpp2019

11th edition of CASH reading group — December 18th at 14:00

11th edition of CASH reading group will be on
December 18th at 14:00

Salle 316

Program:

Amaury: Asyncio

10th edition of CASH reading group

10th edition of CASH reading group will be on
December 4th at 14:00

Salle 316

Program:

Matthieu: “Orfonnancement d’applications dataflow”
Laure ou Ludo: “Deterministic Actors”

Marten Lohstroh, Edward A. Lee

9th edition of CASH reading group

9th edition of CASH reading group will be on
Oct 30 at 14:00

Salle 316

Program:

Julien: Interpolants pour la verification de programmes
Amaury Maillé:
“Extending smart containers for data locality-aware skeleton programming” —August Ernstsson, Christoph Kessler — CCPE 2018

8th edition of CASH reading group

8th edition of CASH reading group will be on
Oct 2 at 15:45

Salle 316

Program:

Christophe ALIAS: mini-survey of single assignment languages
Laure Gonnord and Ludovic Henrio:

Albert Cohen, Léonard Gérard, and Marc Pouzet. Programming parallelism with futures in Lustre. In ACM International Conference on Embedded Software (EM- SOFT’12), Tampere, Finland, October 7-12 2012. ACM. Best paper award.