DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 11:00 - 11:20 at SPLASH-III - 7 Chair(s): Tim Felgentreff, Kedar Namjoshi
Thu 19 Nov 2020 23:00 - 23:20 at SPLASH-III - 7 Chair(s): Mihaela Sighireanu
preprint (sas20.pdf)628KiB

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
7SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Kedar Namjoshi Nokia Bell Labs
11:00
20m
Research paper
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
SAS
Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris
File Attached
11:20
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS 2020
John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh
Link to publication DOI Pre-print Media Attached
11:40
20m
Research paper
Stratified Guarded First-order Transition Systems
SAS
Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München
File Attached
12:00
20m
Talk
Sampling Optimized Code for Type Feedback
DLS 2020
Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:00 - 00:20
7DLS 2020 / SAS at SPLASH-III
Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay
23:00
20m
Research paper
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
SAS
Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris
File Attached
23:20
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS 2020
John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh
Link to publication DOI Pre-print Media Attached
23:40
20m
Research paper
Stratified Guarded First-order Transition Systems
SAS
Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München
File Attached
00:00
20m
Talk
Sampling Optimized Code for Type Feedback
DLS 2020
Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached