Program - SAS 2020

Detailed Table Session Timeline Detailed Timeline

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
Displayed time zone: Central Time (US & Canada) change

07:00 - 08:00	1SAS at SPLASH-III +12h Chair(s): Patrick Cousot New York University

07:00 40m Talk		Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS I: Manuel Hermenegildo IMDEA 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 Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Media Attached File Attached

11:00 - 12:20	2SAS / DLS at SPLASH-III +12h Chair(s): Matthew Flatt University of Utah, USA, David Pichardie Univ Rennes, ENS Rennes, IRISA

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

13:00 - 14:20	3SAS / DLS at SPLASH-III +12h Chair(s): Patrick Cousot New York University, Michael Homer Victoria University of Wellington

13:00 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush Das Carnegie Mellon University, Shaz Qadeer Novi, USA Pre-print
13:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM 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 Buro Università degli Studi di Verona, Roy Crole University of Leicester, Isabella Mastroeni University of Verona, Italy File Attached
14:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly DLS Donald Pinckney Northeastern University, Arjun Guha University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached

15:00 - 16:20	4DLS / SAS at SPLASH-III +12h Chair(s): Antoine Miné Sorbonne Université, Jeremy G. Siek Indiana University, USA

15:00 20m Research paper		Memory-Efficient Fixpoint ComputationArtifact SAS Sung Kook Kim University of California, Davis, Arnaud J. Venet Facebook, Aditya V. Thakur University of California, Davis Pre-print Media Attached
15:20 20m Talk		Dynamic Pattern Matching with Python DLS Tobias Kohn University of Cambridge, UK, Guido van Rossum Python Software Foundation, Brandt Bucher Research Affiliates, LLC, Talin , Ivan Levkivskyi Dropbox Ireland Link to publication DOI Media Attached
15:40 20m Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser Masud Malardalen University Media Attached File Attached
16:00 20m Talk		Sound, Heuristic Type Annotation Inference for Ruby DLS Milod Kazerounian University of Maryland, College Park, Brianna M. Ren University of Maryland, Jeffrey S. Foster Tufts University Link to publication DOI Pre-print Media Attached

17:00 - 18:20	5DLS / SAS at SPLASH-III +12h Chair(s): Patrick Cousot New York University, Sukyoung Ryu

17:00 20m Research paper		Abstract Neural Networks SAS Matthew Sotoudeh University of California, Davis, Aditya V. Thakur University of California, Davis Pre-print Media Attached
17:20 20m Talk		Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI Pre-print Media Attached
17:40 20m Research paper		Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached
18:00 20m Talk		Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached

19:00 - 20:00	1SAS at SPLASH-III Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon

19:00 40m Talk		Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS I: Manuel Hermenegildo IMDEA 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 Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Media Attached File Attached

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

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

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

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

01:00 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush Das Carnegie Mellon University, Shaz Qadeer Novi, USA Pre-print
01:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM 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 Buro Università degli Studi di Verona, Roy Crole University of Leicester, Isabella Mastroeni University of Verona, Italy File Attached
02:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly DLS Donald Pinckney Northeastern University, Arjun Guha University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached

03:00 - 04:20	4SAS / DLS at SPLASH-III Chair(s): Shigeru Chiba The University of Tokyo, Caterina Urban École normale supérieure

03:00 20m Research paper		Memory-Efficient Fixpoint ComputationArtifact SAS Sung Kook Kim University of California, Davis, Arnaud J. Venet Facebook, Aditya V. Thakur University of California, Davis Pre-print Media Attached
03:20 20m Talk		Dynamic Pattern Matching with Python DLS Tobias Kohn University of Cambridge, UK, Guido van Rossum Python Software Foundation, Brandt Bucher Research Affiliates, LLC, Talin , Ivan Levkivskyi Dropbox Ireland Link to publication DOI Media Attached
03:40 20m Research paper		Simple and Efficient Computation of Minimal Weak Control ClosureArtifact SAS Abu Naser Masud Malardalen University Media Attached File Attached
04:00 20m Talk		Sound, Heuristic Type Annotation Inference for Ruby DLS Milod Kazerounian University of Maryland, College Park, Brianna M. Ren University of Maryland, Jeffrey S. Foster Tufts University Link to publication DOI Pre-print Media Attached

05:00 - 06:20	5SAS / DLS at SPLASH-III Chair(s): Xavier Rival INRIA/CNRS/ENS Paris, Sukyoung Ryu

05:00 20m Research paper		Abstract Neural Networks SAS Matthew Sotoudeh University of California, Davis, Aditya V. Thakur University of California, Davis Pre-print Media Attached
05:20 20m Talk		Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI Pre-print Media Attached
05:40 20m Research paper		Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached
06:00 20m Talk		Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached

09:00 - 10:00	6SAS at SPLASH-III +12h Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay

09:00 40m Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James Worrell University of Oxford File Attached
09:40 20m Research paper		Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached

11:00 - 12:20	7SAS / DLS at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Kedar Namjoshi Nokia Bell Labs

11:00 20m Research paper		Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached
11:20 20m Talk		DelayRepay: Delayed Execution for Kernel Fusion in Python DLS John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached
11:40 20m Research paper		Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached
12:00 20m Talk		Sampling Optimized Code for Type Feedback DLS Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached

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

13:00 20m Research paper		Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached
13:20 20m Research paper		Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print
13:40 40m Talk		Framework-Aware Debugging with Stack Tailoring DLS Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached

15:00 - 16:20	9SAS at SPLASH-III +12h Chair(s): Kwangkeun Yi Seoul National University, South Korea

15:00 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached
15:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached

17:00 - 18:20	10SAS at SPLASH-III +12h Chair(s): David Pichardie Univ Rennes, ENS Rennes, IRISA

17:00 40m Talk		Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS I: Gogul Balakrishnan Google

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

21:00 40m Talk		Polynomial Invariants for Affine ProgramsInvited Talk SAS I: James Worrell University of Oxford File Attached
21:40 20m Research paper		Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached

23:00 - 00:20	7DLS / SAS at SPLASH-III Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay

23:00 20m Research paper		Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached
23:20 20m Talk		DelayRepay: Delayed Execution for Kernel Fusion in Python DLS John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached
23:40 20m Research paper		Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached
00:00 20m Talk		Sampling Optimized Code for Type Feedback DLS Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20	8SAS / DLS at SPLASH-III Chair(s): Helmut Seidl Technische Universität München

01:00 20m Research paper		Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached
01:20 20m Research paper		Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print
01:40 40m Talk		Framework-Aware Debugging with Stack Tailoring DLS Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached

03:00 - 04:20	9SAS at SPLASH-III Chair(s): Jerome Feret INRIA Paris

03:00 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached
03:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached

05:00 - 06:20	10SAS at SPLASH-III Chair(s): Mihaela Sighireanu LSV, ENS Paris-Saclay

05:00 40m Talk		Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS I: Gogul Balakrishnan Google

SAS 2020 Program

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change

Tracks

SAS 2020 Program

Switch Program View

Program Display Configuration

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

Get Calendar (iCal)

Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change