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 - 07:40 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 - 08:00 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 - 11:40 Talk		Static Resource Analysis at ScaleInvited Talk SAS I: Ezgi ÇiçekFacebook London File Attached
	11:40 - 12:20 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 - 13:20 Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
	13:20 - 13:40 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 - 14:00 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 - 14:20 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: 4SAS / DLS at SPLASH-III +12h Chair(s): Jeremy G. SiekIndiana University, USA, Antoine MinéSorbonne Université

	15:00 - 15:20 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 - 15:40 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 - 16:00 Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser MasudMalardalen University Media Attached File Attached
	16:00 - 16:20 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: 5SAS / DLS at SPLASH-III +12h Chair(s): Patrick CousotNew York University, Sukyoung Ryu

	17:00 - 17:20 Research paper		Abstract Neural Networks SAS Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
	17:20 - 17:40 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 - 18:00 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 - 18:20 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 - 19:40 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 - 20:00 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: 2SAS / DLS at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay, Matthew FlattUniversity of Utah, USA

	23:00 - 23:40 Talk		Static Resource Analysis at ScaleInvited Talk SAS I: Ezgi ÇiçekFacebook London File Attached
	23:40 - 00:20 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: 3SAS / DLS at SPLASH-III Chair(s): Francesco RanzatoUniversity of Padova, Michael HomerVictoria University of Wellington

	01:00 - 01:20 Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
	01:20 - 01:40 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 - 02:00 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 - 02:20 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 - 03:20 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 - 03:40 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 - 04:00 Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser MasudMalardalen University Media Attached File Attached
	04:00 - 04:20 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 - 05:20 Research paper		Abstract Neural Networks SAS Matthew SotoudehUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis Pre-print Media Attached
	05:20 - 05:40 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 - 06:00 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 - 06:20 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 - 09:40 Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James WorrellUniversity of Oxford File Attached
	09:40 - 10:00 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 - 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 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 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		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 - 13:40 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 - 14:20 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 - 15:20 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 - 16:00 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 - 17:40 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 - 21:40 Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James WorrellUniversity of Oxford File Attached
	21:40 - 22:00 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: 7SAS / DLS at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay

	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 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 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		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 - 01:40 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 - 02:20 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 - 03:20 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 - 04:00 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 - 05:40 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 + SAS 2																								SAS + SAS 3																								SAS + SAS 4																								SAS + SAS 5																								SAS 1																																																SAS + 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	SAS + SAS 3																								SAS + SAS 4																								SAS + SAS 5																																																SAS 6																								SAS + SAS 7																								SAS + SAS 8																								SAS 9																								SAS 10																																																SAS 6																								SAS + 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 + SAS 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 + SAS

SAS + SAS

SAS + SAS

SAS + SAS

SAS

SAS + SAS

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

SAS + SAS

SAS + SAS

SAS + SAS

SAS

SAS + SAS

SAS + SAS

SAS

SAS

SAS

SAS + SAS

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

SAS + SAS

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 + SAS

SAS + SAS

SAS + SAS

SAS + SAS

SAS

SAS + SAS

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

SAS + SAS

SAS + SAS

SAS + SAS

SAS

SAS + SAS

SAS + SAS

SAS

SAS

SAS

SAS + SAS

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

SAS + SAS

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