SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 01:40 - 02:00 at SPLASH-III - 3 Chair(s): Francesco Ranzato, Michael Homer
Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-III - 3 Chair(s): Patrick Cousot, Michael Homer
Preprint (sas20.pdf)706KiB

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

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

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