SPLASH 2020 (series) / DLS 2020 (series) /
DLS 2020 Program
This is the DLS 2020 program - see the full program for SPLASH 2020 and all affiliated events.
Filter Program
Dates
Wed 18 Nov 2020
Thu 19 Nov 2020
Fri 20 Nov 2020
Rooms
SPLASH-III
Tracks
DLS
SAS
Badges
Artifact
Invited Talk
Keynote
Your Program
Nothing to filter
Wed 18 NovDisplayed time zone: Central Time (US & Canada) change
Wed 18 Nov
Displayed 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 NovDisplayed time zone: Central Time (US & Canada) change
Thu 19 Nov
Displayed 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 NovDisplayed time zone: Central Time (US & Canada) change
Fri 20 Nov
Displayed 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 |