Conference Dates
Conference Dates are in time zone (GMT-06:00) Central Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Wed 18 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
07:00 - 07:40 Talk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
07:40 - 08:00 Research paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS 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 File Attached | ||
11:40 - 12:20 Keynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa FreudenbergCroquet Corp 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 Pre-print Media Attached | ||
17:20 - 17:40 Talk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS 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 Media Attached File Attached | ||
19:40 - 20:00 Research paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS 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 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
Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change
05:00 - 05:20 Research paper | Abstract Neural Networks SAS Pre-print Media Attached | ||
05:20 - 05:40 Talk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS 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 - 09:40 Talk | Polynomial Invariants for Affine ProgramsInvited Talk SAS 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 - 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 - 17:40 Talk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS |
21:00 - 21:40 Talk | Polynomial Invariants for Affine ProgramsInvited Talk SAS 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 - 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
Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change
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 - 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 - 05:40 Talk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS |
Wed 18 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
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 |
---|
Thu 19 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
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 |
---|
Fri 20 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
Room | 1:00 | 30 | 2:00 | 30 | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 |
---|
Wed 18 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
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 Static Resource Analysis at Scale 11:00 - 11:40 | SAS Exact and Linear-Time Gas-Cost Analysis 13:00 - 13:20 | 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 | SAS Abstract Neural Networks 17:00 - 17:20 | SASInvited Talk Static Resource Analysis at Scale 23:00 - 23:40 |
Thu 19 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
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 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 | SAS Abstract Neural Networks 05:00 - 05:20 | SAS Termination of Polynomial Loops 09:40 - 10:00 | SAS Stratified Guarded First-order Transition Systems 11:40 - 12:00 | DLS Sampling Optimized Code for Type Feedback 12:00 - 12:20 | SAS Farkas-Based Tree Interpolation 13:20 - 13:40 | DLS Framework-Aware Debugging with Stack Tailoring 13:40 - 14:20 | SAS Termination of Polynomial Loops 21:40 - 22:00 | 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
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 Farkas-Based Tree Interpolation 01:20 - 01:40 | DLS Framework-Aware Debugging with Stack Tailoring 01:40 - 02:20 |
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