SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020

Dates
Rooms
Tracks
Badges
Your Program
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

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, Gary Brandt Bucher, II 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, Gary Brandt Bucher, II 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
Anastasiia Izycheva 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
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
Anastasiia Izycheva 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