SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 08:00: 1SAS at SPLASH-III +12h
Chair(s): Patrick CousotNew York University
07:00 - 07:40
Talk
SAS
I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid
Media Attached File Attached
07:40 - 08:00
Research paper
SAS
Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached File Attached
11:00 - 12:20: 2SAS / DLS at SPLASH-III +12h
Chair(s): Matthew FlattUniversity of Utah, USA, David PichardieUniv Rennes, ENS Rennes, IRISA
11:00 - 11:40
Talk
SAS
I: Ezgi ÇiçekFacebook London
File Attached
11:40 - 12:20
Keynote
DLS
Media Attached
13:00 - 14:20: 3SAS / DLS at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Michael HomerVictoria University of Wellington
13:00 - 13:20
Research paper
SAS
Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA
Pre-print
13:20 - 13:40
Talk
DLS
Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA
Link to publication DOI Pre-print Media Attached
13:40 - 14:00
Research paper
SAS
Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy
File Attached
14:00 - 14:20
Talk
DLS
Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
15:00 - 16:20: 4SAS / DLS at SPLASH-III +12h
Chair(s): Jeremy G. SiekIndiana University, USA, Antoine MinéSorbonne Université
15:00 - 15:20
Research paper
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
15:20 - 15:40
Talk
DLS
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
15:40 - 16:00
Research paper
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
16:00 - 16:20
Talk
DLS
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached
17:00 - 18:20: 5SAS / DLS at SPLASH-III +12h
Chair(s): Patrick CousotNew York University, Sukyoung Ryu
17:00 - 17:20
Research paper
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
17:20 - 17:40
Talk
DLS
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
17:40 - 18:00
Research paper
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
18:00 - 18:20
Talk
DLS
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached
19:00 - 20:00: 1SAS at SPLASH-III
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder & Amazon
19:00 - 19:40
Talk
SAS
I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid
Media Attached File Attached
19:40 - 20:00
Research paper
SAS
Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached File Attached
23:00 - 00:20: 2SAS / DLS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay, Matthew FlattUniversity of Utah, USA
23:00 - 23:40
Talk
SAS
I: Ezgi ÇiçekFacebook London
File Attached
23:40 - 00:20
Keynote
DLS
Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: 3SAS / DLS at SPLASH-III
Chair(s): Francesco RanzatoUniversity of Padova, Michael HomerVictoria University of Wellington
01:00 - 01:20
Research paper
SAS
Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA
Pre-print
01:20 - 01:40
Talk
DLS
Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA
Link to publication DOI Pre-print Media Attached
01:40 - 02:00
Research paper
SAS
Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy
File Attached
02:00 - 02:20
Talk
DLS
Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
03:00 - 04:20: 4SAS / DLS at SPLASH-III
Chair(s): Caterina UrbanÉcole normale supérieure, Shigeru ChibaThe University of Tokyo
03:00 - 03:20
Research paper
SAS
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
03:20 - 03:40
Talk
DLS
Tobias KohnUniversity of Cambridge, UK, Guido van RossumPython Software Foundation, Gary Brandt Bucher, IIResearch Affiliates, LLC, Talin, Ivan LevkivskyiDropbox Ireland
Link to publication DOI Media Attached
03:40 - 04:00
Research paper
SAS
Abu Naser MasudMalardalen University
Media Attached File Attached
04:00 - 04:20
Talk
DLS
Milod KazerounianUniversity of Maryland, College Park, Brianna M. RenUniversity of Maryland, Jeffrey S. FosterTufts University
Link to publication DOI Pre-print Media Attached
05:00 - 06:20: 5SAS / DLS at SPLASH-III
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris, Sukyoung Ryu
05:00 - 05:20
Research paper
SAS
Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis
Pre-print Media Attached
05:20 - 05:40
Talk
DLS
Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI Pre-print Media Attached
05:40 - 06:00
Research paper
SAS
Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech
Pre-print Media Attached
06:00 - 06:20
Talk
DLS
Dejice JacobUniversity of Glasgow, UK, Phil TrinderUniversity of Glasgow, Jeremy SingerGlasgow University
Link to publication DOI Pre-print Media Attached
09:00 - 10:00: 6SAS at SPLASH-III +12h
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
09:00 - 09:40
Talk
SAS
I: James WorrellUniversity of Oxford
File Attached
09:40 - 10:00
Research paper
SAS
Florian FrohnMax Planck Institute for Informatics, Marcel HarkRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University
Pre-print Media Attached File Attached
11:00 - 12:20: 7SAS / DLS at SPLASH-III +12h
Chair(s): Kedar NamjoshiNokia Bell Labs, Tim FelgentreffOracle Labs, Potsdam
11:00 - 11:20
Research paper
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
11:20 - 11:40
Talk
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 - 12:00
Research paper
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
12:00 - 12:20
Talk
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
13:00 - 14:20: 8SAS / DLS at SPLASH-III +12h
Chair(s): Samir Genaim Universidad Complutense de Madrid, Tim FelgentreffOracle Labs, Potsdam
13:00 - 13:20
Research paper
SAS
Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona
File Attached
13:20 - 13:40
Research paper
SAS
Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland
Pre-print
13:40 - 14:20
Talk
DLS
Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached
15:00 - 16:20: 9SAS at SPLASH-III +12h
Chair(s): Kwangkeun YiSeoul National University, South Korea
15:00 - 15:20
Research paper
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
15:40 - 16:00
Research paper
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached
17:00 - 18:20: 10SAS at SPLASH-III +12h
Chair(s): David PichardieUniv Rennes, ENS Rennes, IRISA
17:00 - 17:40
Talk
SAS
21:00 - 22:00: 6SAS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
21:00 - 21:40
Talk
SAS
I: James WorrellUniversity of Oxford
File Attached
21:40 - 22:00
Research paper
SAS
Florian FrohnMax Planck Institute for Informatics, Marcel HarkRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University
Pre-print Media Attached File Attached
23:00 - 00:20: 7SAS / DLS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
23:00 - 23:20
Research paper
SAS
Hugo IllousCEA & INRIA / ENS Paris, Matthieu LemerreCEA LIST, France, Xavier RivalINRIA/CNRS/ENS Paris
File Attached
23:20 - 23:40
Talk
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 - 00:00
Research paper
SAS
Christian MüllerTechnische Universität München, Saarland University, Helmut SeidlTechnische Universität München
File Attached
00:00 - 00:20
Talk
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

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: 8SAS / DLS at SPLASH-III
Chair(s): Helmut SeidlTechnische Universität München
01:00 - 01:20
Research paper
SAS
Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona
File Attached
01:20 - 01:40
Research paper
SAS
Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland
Pre-print
01:40 - 02:20
Talk
DLS
Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached
03:00 - 04:20: 9SAS at SPLASH-III
Chair(s): Jerome FeretINRIA Paris
03:00 - 03:20
Research paper
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
03:40 - 04:00
Research paper
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached
05:00 - 06:20: 10SAS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
05:00 - 05:40
Talk
SAS

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
SPLASH-III

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
SPLASH-III

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:0030
SPLASH-III

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
SPLASH-III

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
SPLASH-III
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)