7th edition of CASH paper presentation will be on
April 10 at 9:30
Salle de réunion M7 3ème étage
Program:
- 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
- Relational Program Reasoning Using Compiler IR VSTTE 2016, Moritz
- 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).