7th Cash reading group: 10/4 at 9:30

7th edition of CASH paper presentation will be on
April 10 at 9:30
Salle de réunion M7 3ème étage


  • Laure Gonnord: “Relational Program Reasoning” based on:
    • Relational Program Reasoning Using Compiler IR VSTTE 2016, Moritz
      Kiefer, Vladimir Klebanov, Mattias Ulbrich
    • De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.:
      Relational verification through Horn clause transformation., SAS 2016
    • (opt) Beckert, B., Bormer, T., Gocht, S., Herda, M., Lentzsch, D.,
      Ulbrich, M.: Sem-slice: Exploiting relational verification for
      automatic program slicing. Tool paper IFM 2017
  • Paul Iannetta: “Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code”Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, and Saman Amarasinghe. 2019.  International Symposium on Code Generation and Optimization (CGO 2019).

4th Cash reading group

3rd edition of CASH paper presentation will be on
February 14 at 10:00
Salle 316

Program (Special session CCPE):

  • Amaury Maillé: Forward to a Promising Future.
    Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo. In Coordination 2018
  • Paul Iannetta:
    Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones
    Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artiom Baloian, Willy Wolff.
    Concurrency and Computation: Practice and Experience 2017, 29(15).
  • Ludovic Henrio:
    JAC: declarative Java concurrency
    Max Haustein and Klaus-Peter Löhr. Concurrency and Computation: Practice and Experience.  2006

3rd Cash reading group meeting

3rd edition of CASH paper presentation will be on
january 18 at 9:30 (coffee at 9:20)
Salle du conseil LIP (394N)

  • Matthieu Mouy will present the PhD of Benjamin Rouxel : Minimising communication costs impact when scheduling real-time applications on multi-core.
  • Julien Braine will present:
    TBA (probably a VMCAI 2019 paper)

Cash reading group (2)

2nd edition of CASH paper presentation will be on
December 14 at 10:00 (coffee at 9:50)
Salle de réunion 316 Centre

  • Laure Gonnord will present the PhD of Mohammed Amer from Université
    de Lyon entitled “Centralized Optimization of the Association in IEEE 802.11 Networks” and supervised by Anthony Busson
    and Isabelle Guérin-Lassous. (nov 2018)
  • Paul Iannetta will present:
    “Analyse de flot de données pour programmes récursifs à l’aide de langages algébriques”, de Albert Cohen, Technique et Science Informatiques 1999

CASH paper presentation 30/11 a 9h30

1st edition of CASH paper presentation will be on
November 30 at 9:30 (coffee at 9:20)
Salle de réunion 316 Centre

  • Ludovic Henrio will present:
    ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations —  Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain — Coordination 2016
  • Julien Braine will present:
    What’s Decidable About Arrays?
    Aaron R. Bradley, Zohar Manna, and Henny B. Sipma
    VMCAI 2006