Program - 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

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 40m Talk		Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid Media Attached File Attached
07:40 20m Research paper		A Library Modeling Language for the Static Analysis of C ProgramsArtifact 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 40m Talk		Static Resource Analysis at ScaleInvited Talk SAS I: Ezgi ÇiçekFacebook London File Attached
11:40 40m Keynote		Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa FreudenbergCroquet Corp 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 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
13:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems 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 20m Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy File Attached
14:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly 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	4DLS / SAS at SPLASH-III +12h Chair(s): Jeremy G. SiekIndiana University, USA, Antoine MinéSorbonne Université

15:00 20m Research paper		Memory-Efficient Fixpoint ComputationArtifact SAS Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
15:20 20m Talk		Dynamic Pattern Matching with Python 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 20m Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser MasudMalardalen University Media Attached File Attached
16:00 20m Talk		Sound, Heuristic Type Annotation Inference for Ruby 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	5DLS / SAS at SPLASH-III +12h Chair(s): Patrick CousotNew York University, Sukyoung Ryu

17:00 20m Research paper		Abstract Neural Networks SAS Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
17:20 20m Talk		Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology Link to publication DOI Pre-print Media Attached
17:40 20m Research paper		Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech Pre-print Media Attached
18:00 20m Talk		Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms 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 40m Talk		Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS I: Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid Media Attached File Attached
19:40 20m Research paper		A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université Media Attached File Attached

23:00 - 00:20	2DLS / SAS at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay, Matthew FlattUniversity of Utah, USA

23:00 40m Talk		Static Resource Analysis at ScaleInvited Talk SAS I: Ezgi ÇiçekFacebook London File Attached
23:40 40m Keynote		Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa FreudenbergCroquet Corp Media Attached

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

01:00 - 02:20	3DLS / SAS at SPLASH-III Chair(s): Francesco RanzatoUniversity of Padova, Michael HomerVictoria University of Wellington

01:00 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
01:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems 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 20m Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy File Attached
02:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly 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 20m Research paper		Memory-Efficient Fixpoint ComputationArtifact SAS Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
03:20 20m Talk		Dynamic Pattern Matching with Python 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 20m Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser MasudMalardalen University Media Attached File Attached
04:00 20m Talk		Sound, Heuristic Type Annotation Inference for Ruby 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 20m Research paper		Abstract Neural Networks SAS Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
05:20 20m Talk		Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology Link to publication DOI Pre-print Media Attached
05:40 20m Research paper		Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi MangalGeorgia Institute of Technology, Kartik SarangmathGeorgia Institute of Technology, Aditya Nori, Alessandro OrsoGeorgia Tech Pre-print Media Attached
06:00 20m Talk		Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms 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 40m Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James WorrellUniversity of Oxford File Attached
09:40 20m Research paper		Termination of Polynomial Loops 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 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

13:00 - 14:20	8SAS / DLS at SPLASH-III +12h Chair(s): Samir Genaim Universidad Complutense de Madrid, Tim FelgentreffOracle Labs, Potsdam

13:00 20m Research paper		Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona File Attached
13:20 20m Research paper		Farkas-Based Tree Interpolation SAS Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland Pre-print
13:40 40m Talk		Framework-Aware Debugging with Stack Tailoring 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 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München Pre-print Media Attached
15:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking 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 40m Talk		Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS I: Gogul BalakrishnanGoogle

21:00 - 22:00	6SAS at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay

21:00 40m Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James WorrellUniversity of Oxford File Attached
21:40 20m Research paper		Termination of Polynomial Loops 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	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

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 20m Research paper		Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona File Attached
01:20 20m Research paper		Farkas-Based Tree Interpolation SAS Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland Pre-print
01:40 40m Talk		Framework-Aware Debugging with Stack Tailoring 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 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München Pre-print Media Attached
03:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking 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 40m Talk		Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS I: Gogul BalakrishnanGoogle

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


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-III	SAS 1																																																SAS + DLS 2																								SAS + DLS 3																								DLS + SAS 4																								DLS + SAS 5																								SAS 1																																																DLS + SAS 2

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-III	DLS + SAS 3																								SAS + DLS 4																								SAS + DLS 5																																																SAS 6																								SAS + DLS 7																								SAS + DLS 8																								SAS 9																								SAS 10																																																SAS 6																								DLS + SAS 7

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


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30
SPLASH-III	SAS + DLS 8																								SAS 9																								SAS 10

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


Room	7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45			0:00			15			30			45
SPLASH-III	SASInvited Talk Cost Analysis of Smart Contracts via Parametric Resource Analysis 07:00 - 07:40								SASArtifact A Library Modeling Language for the Static Analysis of C Programs 07:40 - 08:00																																								SASInvited Talk Static Resource Analysis at Scale 11:00 - 11:40								DLSKeynote Croquet: A Unique Collaboration Architecture (Keynote) 11:40 - 12:20																SAS Exact and Linear-Time Gas-Cost Analysis 13:00 - 13:20				DLS Python 3 Types in the Wild: A Tale of Two Type Systems 13:20 - 13:40				SAS On Multi-Language Abstraction: Towards a Static Analysis of Multi-Langu ... 13:40 - 14:00				DLS Wasm/k: Delimited Continuations for WebAssembly 14:00 - 14:20												SASArtifact Memory-Efficient Fixpoint Computation 15:00 - 15:20				DLS Dynamic Pattern Matching with Python 15:20 - 15:40				SASArtifact Simple and Efficient Computation of Minimal Weak Control Closure 15:40 - 16:00				DLS Sound, Heuristic Type Annotation Inference for Ruby 16:00 - 16:20												SAS Abstract Neural Networks 17:00 - 17:20				DLS Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler ... 17:20 - 17:40				SASArtifact Probabilistic Lipschitz Analysis of Neural Networks 17:40 - 18:00				DLS Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogen ... 18:00 - 18:20												SASInvited Talk Cost Analysis of Smart Contracts via Parametric Resource Analysis 19:00 - 19:40								SASArtifact A Library Modeling Language for the Static Analysis of C Programs 19:40 - 20:00																																								SASInvited Talk Static Resource Analysis at Scale 23:00 - 23:40								DLSKeynote Croquet: A Unique Collaboration Architecture (Keynote) 23:40 - 00:20

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


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-III	SAS Exact and Linear-Time Gas-Cost Analysis 01:00 - 01:20				DLS Python 3 Types in the Wild: A Tale of Two Type Systems 01:20 - 01:40				SAS On Multi-Language Abstraction: Towards a Static Analysis of Multi-Langu ... 01:40 - 02:00				DLS Wasm/k: Delimited Continuations for WebAssembly 02:00 - 02:20												SASArtifact Memory-Efficient Fixpoint Computation 03:00 - 03:20				DLS Dynamic Pattern Matching with Python 03:20 - 03:40				SASArtifact Simple and Efficient Computation of Minimal Weak Control Closure 03:40 - 04:00				DLS Sound, Heuristic Type Annotation Inference for Ruby 04:00 - 04:20												SAS Abstract Neural Networks 05:00 - 05:20				DLS Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler ... 05:20 - 05:40				SASArtifact Probabilistic Lipschitz Analysis of Neural Networks 05:40 - 06:00				DLS Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogen ... 06:00 - 06:20																																				SASInvited Talk Polynomial Invariants for Affine Programs 09:00 - 09:40								SAS Termination of Polynomial Loops 09:40 - 10:00																SAS Interprocedural Shape Analysis Using Separation Logic-based Transformer ... 11:00 - 11:20				DLS DelayRepay: Delayed Execution for Kernel Fusion in Python 11:20 - 11:40				SAS Stratified Guarded First-order Transition Systems 11:40 - 12:00				DLS Sampling Optimized Code for Type Feedback 12:00 - 12:20												SAS Formal framework for reasoning about the precision of dynamic analysis 13:00 - 13:20				SAS Farkas-Based Tree Interpolation 13:20 - 13:40				DLS Framework-Aware Debugging with Stack Tailoring 13:40 - 14:20																SASArtifact Counterexample- and Simulation-Guided Floating-Point Loop Invariant Syn ... 15:00 - 15:20								SAS Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking 15:40 - 16:00																SASInvited Talk Static analysis for privacy-preserving artificial intelligence 17:00 - 17:40																																																SASInvited Talk Polynomial Invariants for Affine Programs 21:00 - 21:40								SAS Termination of Polynomial Loops 21:40 - 22:00																SAS Interprocedural Shape Analysis Using Separation Logic-based Transformer ... 23:00 - 23:20				DLS DelayRepay: Delayed Execution for Kernel Fusion in Python 23:20 - 23:40				SAS Stratified Guarded First-order Transition Systems 23:40 - 00:00

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


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45
SPLASH-III	DLS Sampling Optimized Code for Type Feedback 00:00 - 00:20												SAS Formal framework for reasoning about the precision of dynamic analysis 01:00 - 01:20				SAS Farkas-Based Tree Interpolation 01:20 - 01:40				DLS Framework-Aware Debugging with Stack Tailoring 01:40 - 02:20																SASArtifact Counterexample- and Simulation-Guided Floating-Point Loop Invariant Syn ... 03:00 - 03:20								SAS Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking 03:40 - 04:00																SASInvited Talk Static analysis for privacy-preserving artificial intelligence 05:00 - 05:40

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

SAS 2020 Program

Filter Program

Wed 18 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

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

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

SAS

SAS + DLS

SAS + DLS

DLS + SAS

DLS + SAS

SAS

DLS + SAS

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

DLS + SAS

SAS + DLS

SAS + DLS

SAS

SAS + DLS

SAS + DLS

SAS

SAS

SAS

DLS + SAS

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

SAS + DLS

SAS

SAS

Wed 18 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

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

Tracks

SAS 2020 Program

Filter Program

Program Display Configuration

Wed 18 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

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

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

SAS

SAS + DLS

SAS + DLS

DLS + SAS

DLS + SAS

SAS

DLS + SAS

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

DLS + SAS

SAS + DLS

SAS + DLS

SAS

SAS + DLS

SAS + DLS

SAS

SAS

SAS

DLS + SAS

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

SAS + DLS

SAS

SAS

Wed 18 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

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

Wed 18 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

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

Wed 18 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

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

Wed 18 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

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