Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries (SAS 2020 - - 27th Static Analysis Symposium)

Who

Hugo Illous, Matthieu Lemerre, Xavier Rival

Track

SAS 2020

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

File attachments

preprint (sas20.pdf)	628KiB

Hugo Illous

CEA & INRIA / ENS Paris

France

Matthieu Lemerre

CEA LIST, France

France

Xavier Rival

INRIA/CNRS/ENS Paris

France

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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