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 23:00 - 23:20 at SPLASH-III - 7 Chair(s): Mihaela Sighireanu
Thu 19 Nov 2020 11:00 - 11:20 at SPLASH-III - 7 Chair(s): Kedar Namjoshi, Tim Felgentreff

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
Times are displayed in time zone: Central Time (US & Canada) change

	11:00 - 12:20: 7SAS / DLS 2020 at SPLASH-III +12h Chair(s): Kedar NamjoshiNokia Bell Labs, Tim FelgentreffOracle Labs, Potsdam

	11:00 - 11:20 Research paper		Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris File Attached
	11:20 - 11:40 Talk		DelayRepay: Delayed Execution for Kernel Fusion in Python DLS 2020 John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Pre-print Media Attached
	11:40 - 12:00 Research paper		Stratified Guarded First-order Transition Systems SAS Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München File Attached
	12:00 - 12:20 Talk		Sampling Optimized Code for Type Feedback DLS 2020 Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University Link to publication DOI Pre-print Media Attached

	23:00 - 00:20: 7SAS / DLS 2020 at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay

	23:00 - 23:20 Research paper		Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris File Attached
	23:20 - 23:40 Talk		DelayRepay: Delayed Execution for Kernel Fusion in Python DLS 2020 John Magnus MortonUniversity of Edinburgh, Kuba KaszykUniversity of Edinburgh, Lu LiLinköping University, Jiawen SunUniversity of Edinburgh, Christophe DubachMcGill University, Michel SteuwerThe University of Edinburgh, Murray ColeUniversity of Edinburgh, UK, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Pre-print Media Attached
	23:40 - 00:00 Research paper		Stratified Guarded First-order Transition Systems SAS Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München File Attached
	00:00 - 00:20 Talk		Sampling Optimized Code for Type Feedback DLS 2020 Olivier FlückigerNortheastern University, Andreas WälchliUniversity of Bern, Sebastián KrynskiCzech Technical University, National University of Quilmes, Jan VitekNortheastern University / Czech Technical University Link to publication DOI Pre-print Media Attached