Stratified Guarded First-order Transition Systems (SAS 2020 - - 27th Static Analysis Symposium) - SAS 2020

Wed 18 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Who

Christian Müller, Helmut Seidl

Track

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

When

Thu 19 Nov 2020 11:40 - 12:00 at SPLASH-III - 7 Chair(s): Tim Felgentreff, Kedar Namjoshi
Thu 19 Nov 2020 23:40 - 00:00 at SPLASH-III - 7 Chair(s): Mihaela Sighireanu

File attachments

Stratified Guarded First-order Transition Systems (main.pdf)	393KiB

Christian Müller

Technische Universität München, Saarland University

Germany

Helmut Seidl

Technische Universität München

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

Session Program

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

	11:00 - 12:20	7SAS / DLS 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 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 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 / 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 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 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