SPLASH 2020 (series) / SAS 2020 (series) / SAS 2020 - 27th Static Analysis Symposium /
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
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
Thu 19 Nov 2020 11:00 - 11:20 at SPLASH-III - 7 Chair(s): Kedar Namjoshi, Tim Felgentreff
preprint (sas20.pdf) | 628KiB |
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
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 - 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 |