SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 11:40 - 12:00 at SPLASH-III - 7 Chair(s): Kedar Namjoshi, Tim Felgentreff
Thu 19 Nov 2020 23:40 - 00:00 at SPLASH-III - 7 Chair(s): Mihaela Sighireanu
Stratified Guarded First-order Transition Systems (main.pdf)393KiB

Conference Day
Thu 19 Nov

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

11:00 - 12:20
7SAS / DLS at SPLASH-III +12h
Chair(s): Kedar NamjoshiNokia Bell Labs, Tim FelgentreffOracle Labs, Potsdam
11:00
20m
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
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS
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
20m
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
20m
Talk
Sampling Optimized Code for Type Feedback
DLS
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
7DLS / SAS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
23:00
20m
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
20m
Talk
DelayRepay: Delayed Execution for Kernel Fusion in Python
DLS
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
20m
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
20m
Talk
Sampling Optimized Code for Type Feedback
DLS
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