DLS 2020
Sun 15 - Fri 20 November 2020
Online Conference
co-located with
SPLASH 2020
Toggle navigation
Attending
Venue: Online
SPLASH 2020
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Program
DLS Program
Your Program
Sun 15 Nov
Mon 16 Nov
Tue 17 Nov
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Tracks
DLS 2020
DLS 2020
Co-hosted Conferences
SAS
Organization
DLS 2020 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
SAS
Organizing Committee
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2020
(
series
) /
DLS 2020 (
series
) /
Online
/
Room information: SPLASH-II
Venue
Online
Room name
SPLASH-II
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 09:40
1
SPLASH REBASE
at
SPLASH-II
09:00
40m
Talk
Move Semantics for Nim
SPLASH REBASE
Andreas Rumpf
Freelancer
11:00 - 11:40
2
SPLASH REBASE
at
SPLASH-II
11:00
40m
Talk
Back to the Future! A History of UIs through Trends and Mass Culture
SPLASH REBASE
Paola Bisogno
Casavo
Media Attached
13:00 - 13:40
3
SPLASH REBASE
at
SPLASH-II
+10h
13:00
40m
Talk
Probabilistic Programming: The What, Why and How
AMA
SPLASH REBASE
Maria I. Gorinova
The University of Edinburgh
15:00 - 15:40
4
SPLASH REBASE
at
SPLASH-II
+10h
15:00
40m
Talk
A Ray of Hope: Array Programming for the 21st Century
SPLASH REBASE
Gilad Bracha
F5 Networks
Media Attached
17:00 - 17:40
5
SPLASH REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
AMA
SPLASH REBASE
Jean Yang
Akita Software
Media Attached
23:00 - 23:40
3
SPLASH REBASE
at
SPLASH-II
23:00
40m
Talk
Probabilistic Programming: The What, Why and How
AMA
SPLASH REBASE
Maria I. Gorinova
The University of Edinburgh
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
4
SPLASH REBASE
at
SPLASH-II
01:00
40m
Talk
A Ray of Hope: Array Programming for the 21st Century
SPLASH REBASE
Gilad Bracha
F5 Networks
Media Attached
03:00 - 03:40
32
SPLASH REBASE
at
SPLASH-II
+30h
03:00
40m
Talk
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
AMA
SPLASH REBASE
Philippa Gardner
Imperial College London
05:00 - 05:40
5
SPLASH REBASE
at
SPLASH-II
05:00
40m
Talk
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
AMA
SPLASH REBASE
Jean Yang
Akita Software
Media Attached
07:00 - 07:40
6
SPLASH REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
Reliable Stack Traces, the Reality of Myth
AMA
SPLASH REBASE
Francesco Zappa Nardelli
Facebook
11:00 - 11:40
7
SPLASH REBASE
at
SPLASH-II
11:00
40m
Talk
Paparazzi, an open source UAV for research
SPLASH REBASE
Gautier Hattenberger
ENAC
13:00 - 13:40
8
SPLASH REBASE
at
SPLASH-II
+10h
13:00
40m
Talk
Herding Nulls in Dart
AMA
SPLASH REBASE
Erik Ernst
Google LLC
15:00 - 15:40
9
SPLASH REBASE
at
SPLASH-II
15:00
40m
Talk
Non-local compiler transformations in the presence of dynamic dispatch
SPLASH REBASE
Keno Fischer
Julia Computing
17:00 - 17:40
10
SPLASH REBASE
at
SPLASH-II
+8h
17:00
40m
Talk
Lies we tell ourselves about developer infrastructure
AMA
SPLASH REBASE
Joe Pamer
Facebook
19:00 - 19:40
6
SPLASH REBASE
at
SPLASH-II
19:00
40m
Talk
Reliable Stack Traces, the Reality of Myth
AMA
SPLASH REBASE
Francesco Zappa Nardelli
Facebook
23:00 - 23:40
8
SPLASH REBASE
at
SPLASH-II
23:00
40m
Talk
Herding Nulls in Dart
AMA
SPLASH REBASE
Erik Ernst
Google LLC
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
10
SPLASH REBASE
at
SPLASH-II
01:00
40m
Talk
Lies we tell ourselves about developer infrastructure
AMA
SPLASH REBASE
Joe Pamer
Facebook
03:00 - 03:40
31
SPLASH REBASE
at
SPLASH-II
03:00
40m
Talk
SQLancer: Automatically Finding Bugs in Databases
SPLASH REBASE
Manuel Rigger
ETH Zurich
Media Attached
09:00 - 09:40
32
SPLASH REBASE
at
SPLASH-II
09:00
40m
Talk
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
AMA
SPLASH REBASE
Philippa Gardner
Imperial College London
11:00 - 11:40
12
SPLASH REBASE
at
SPLASH-II
+38h
11:00
40m
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
SPLASH REBASE
Christian Humer
Oracle Labs
13:00 - 13:40
13
SPLASH REBASE
at
SPLASH-II
+12h
13:00
40m
Talk
Developing the Wolfram Language Compiler
SPLASH REBASE
Tom Wickham-Jones
Wolfram Research, Inc.
Media Attached
15:00 - 15:40
14
SPLASH REBASE
at
SPLASH-II
+12h
15:00
40m
Talk
Quantitative Types in Idris 2
AMA
SPLASH REBASE
Edwin Brady
University of St. Andrews
17:00 - 17:40
15
SPLASH REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
SPLASH REBASE
Robert Grimm
Media Attached
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
13
SPLASH REBASE
at
SPLASH-II
01:00
40m
Talk
Developing the Wolfram Language Compiler
SPLASH REBASE
Tom Wickham-Jones
Wolfram Research, Inc.
Media Attached
03:00 - 03:40
14
SPLASH REBASE
at
SPLASH-II
03:00
40m
Talk
Quantitative Types in Idris 2
AMA
SPLASH REBASE
Edwin Brady
University of St. Andrews
05:00 - 05:40
15
SPLASH REBASE
at
SPLASH-II
05:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
SPLASH REBASE
Robert Grimm
Media Attached
07:00 - 07:40
16
SPLASH REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
Miniaturize All States!
SPLASH REBASE
Mathieu Boespflug
Tweag I/O
07:40 - 08:20
CARES
SPLASH CARES
at
SPLASH-II
+12h
07:40
40m
Social Event
CARES Session
SPLASH CARES
11:00 - 11:40
17
SPLASH REBASE
at
SPLASH-II
11:00
40m
Talk
Paradigms Without Progress: Kuhnian Reflections on Programming Practice
AMA
SPLASH REBASE
Jimmy Miller
Adzerk
Media Attached
13:00 - 13:40
18
SPLASH REBASE
at
SPLASH-II
13:00
40m
Talk
Inside Every Calculus Is A Little Algebra Waiting To Get Out
SPLASH REBASE
Erik Meijer
Facebook
15:00 - 15:40
19
SPLASH REBASE
at
SPLASH-II
+12h
15:00
40m
Talk
Speculation in Smart Contracts
AMA
SPLASH REBASE
Maurice Herlihy
Brown University
17:00 - 17:40
20
SPLASH REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Tales from the Frontlines: Startup War Stories
AMA
SPLASH REBASE
Cliff Click
Self
17:40 - 18:20
CARES
SPLASH CARES
at
SPLASH-II
17:40
40m
Social Event
CARES Session
SPLASH CARES
19:00 - 19:40
16
SPLASH REBASE
at
SPLASH-II
19:00
40m
Talk
Miniaturize All States!
SPLASH REBASE
Mathieu Boespflug
Tweag I/O
19:40 - 20:20
CARES
SPLASH CARES
at
SPLASH-II
19:40
40m
Social Event
CARES Session
SPLASH CARES
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
12
SPLASH REBASE
at
SPLASH-II
01:00
40m
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
SPLASH REBASE
Christian Humer
Oracle Labs
03:00 - 03:40
19
SPLASH REBASE
at
SPLASH-II
03:00
40m
Talk
Speculation in Smart Contracts
AMA
SPLASH REBASE
Maurice Herlihy
Brown University
05:00 - 05:40
20
SPLASH REBASE
at
SPLASH-II
05:00
40m
Talk
Tales from the Frontlines: Startup War Stories
AMA
SPLASH REBASE
Cliff Click
Self
09:00 - 09:40
21
SPLASH REBASE
at
SPLASH-II
+12h
09:00
40m
Talk
Relational Reasoning in Object-based Programs
SPLASH REBASE
Anindya Banerjee
National Science Foundation
11:00 - 11:40
22
SPLASH REBASE
at
SPLASH-II
11:00
40m
Talk
Intermittent Computer Systems on Earth and in Space
SPLASH REBASE
Brandon Lucia
Carnegie Mellon University
13:00 - 13:40
23
SPLASH REBASE
at
SPLASH-II
13:00
40m
Talk
JAX: accelerated machine learning research via composable function transformations in Python
SPLASH REBASE
Matthew J. Johnson
Google Brain
15:00 - 15:40
24
SPLASH REBASE
at
SPLASH-II
15:00
40m
Talk
On the Future of Flight Software
SPLASH REBASE
Kristin Yvonne Rozier
Iowa State University
17:00 - 17:40
25
SPLASH REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
SPLASH REBASE
Charles Zhang
The Hong Kong University of Science and Technology
21:00 - 21:40
21
SPLASH REBASE
at
SPLASH-II
21:00
40m
Talk
Relational Reasoning in Object-based Programs
SPLASH REBASE
Anindya Banerjee
National Science Foundation
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
03:00 - 03:40
32
SPLASH REBASE
at
SPLASH-II
03:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
SPLASH REBASE
Robert Grimm
Media Attached
05:00 - 05:40
25
SPLASH REBASE
at
SPLASH-II
05:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
SPLASH REBASE
Charles Zhang
The Hong Kong University of Science and Technology
07:00 - 07:40
26
SPLASH REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
PL and HCI: Better Together
AMA
SPLASH REBASE
Elena Glassman
Harvard University
09:00 - 09:40
28
SPLASH REBASE
at
SPLASH-II
+12h
09:00
40m
Talk
Performance Really Matters
AMA
SPLASH REBASE
Emery D. Berger
University of Massachusetts at Amherst
11:00 - 11:40
29
SPLASH REBASE
at
SPLASH-II
+12h
11:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
SPLASH REBASE
Min Si
Argonne National Laboratory
13:00 - 13:40
30
SPLASH REBASE
at
SPLASH-II
+12h
13:00
40m
Talk
Variant analysis
AMA
SPLASH REBASE
A:
Aditya Sharad
GitHub
15:00 - 15:40
27
SPLASH REBASE
at
SPLASH-II
15:00
40m
Talk
The impact of differentiable programming: how ∂P is enabling new science in Julia
AMA
SPLASH REBASE
Matt Bauman
Julia Computing
19:00 - 19:40
26
SPLASH REBASE
at
SPLASH-II
19:00
40m
Talk
PL and HCI: Better Together
AMA
SPLASH REBASE
Elena Glassman
Harvard University
21:00 - 21:40
28
SPLASH REBASE
at
SPLASH-II
21:00
40m
Talk
Performance Really Matters
AMA
SPLASH REBASE
Emery D. Berger
University of Massachusetts at Amherst
23:00 - 23:40
29
SPLASH REBASE
at
SPLASH-II
23:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
SPLASH REBASE
Min Si
Argonne National Laboratory
Sat 21 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
30
SPLASH REBASE
at
SPLASH-II
01:00
40m
Talk
Variant analysis
AMA
SPLASH REBASE
A:
Aditya Sharad
GitHub
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
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
SPLASH-II
SPLASH REBASE
1
SPLASH REBASE
2
SPLASH REBASE
3
SPLASH REBASE
4
SPLASH REBASE
5
SPLASH REBASE
3
Mon 16 Nov
Displayed 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
SPLASH-II
SPLASH REBASE
4
SPLASH REBASE
32
SPLASH REBASE
5
SPLASH REBASE
6
SPLASH REBASE
7
SPLASH REBASE
8
SPLASH REBASE
9
SPLASH REBASE
10
SPLASH REBASE
6
SPLASH REBASE
8
Tue 17 Nov
Displayed 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
SPLASH-II
SPLASH REBASE
10
SPLASH REBASE
31
SPLASH REBASE
32
SPLASH REBASE
12
SPLASH REBASE
13
SPLASH REBASE
14
SPLASH REBASE
15
Wed 18 Nov
Displayed 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
SPLASH-II
SPLASH REBASE
13
SPLASH REBASE
14
SPLASH REBASE
15
SPLASH REBASE
16
SPLASH CARES
CARES
SPLASH REBASE
17
SPLASH REBASE
18
SPLASH REBASE
19
SPLASH REBASE
20
SPLASH CARES
CARES
SPLASH REBASE
16
SPLASH CARES
CARES
Thu 19 Nov
Displayed 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
SPLASH-II
SPLASH REBASE
12
SPLASH REBASE
19
SPLASH REBASE
20
SPLASH REBASE
21
SPLASH REBASE
22
SPLASH REBASE
23
SPLASH REBASE
24
SPLASH REBASE
25
SPLASH REBASE
21
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
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
SPLASH-II
SPLASH REBASE
32
SPLASH REBASE
25
SPLASH REBASE
26
SPLASH REBASE
28
SPLASH REBASE
29
SPLASH REBASE
30
SPLASH REBASE
27
SPLASH REBASE
26
SPLASH REBASE
28
SPLASH REBASE
29
Sat 21 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
1:00
30
SPLASH-II
SPLASH REBASE
30
Sun 15 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
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-II
SPLASH REBASE
Move Semantics for Nim
09:00 - 09:40
SPLASH REBASE
Back to the Future! A History of UIs through Trends and Mass Culture
11:00 - 11:40
SPLASH REBASE
AMA
Probabilistic Programming: The What, Why and How
13:00 - 13:40
SPLASH REBASE
A Ray of Hope: Array Programming for the 21st Century
15:00 - 15:40
SPLASH REBASE
AMA
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Pr ...
17:00 - 17:40
SPLASH REBASE
AMA
Probabilistic Programming: The What, Why and How
23:00 - 23:40
Mon 16 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-II
SPLASH REBASE
A Ray of Hope: Array Programming for the 21st Century
01:00 - 01:40
SPLASH REBASE
AMA
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
03:00 - 03:40
SPLASH REBASE
AMA
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Pr ...
05:00 - 05:40
SPLASH REBASE
AMA
Reliable Stack Traces, the Reality of Myth
07:00 - 07:40
SPLASH REBASE
Paparazzi, an open source UAV for research
11:00 - 11:40
SPLASH REBASE
AMA
Herding Nulls in Dart
13:00 - 13:40
SPLASH REBASE
Non-local compiler transformations in the presence of dynamic dispatch
15:00 - 15:40
SPLASH REBASE
AMA
Lies we tell ourselves about developer infrastructure
17:00 - 17:40
SPLASH REBASE
AMA
Reliable Stack Traces, the Reality of Myth
19:00 - 19:40
SPLASH REBASE
AMA
Herding Nulls in Dart
23:00 - 23:40
Tue 17 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
SPLASH-II
SPLASH REBASE
AMA
Lies we tell ourselves about developer infrastructure
01:00 - 01:40
SPLASH REBASE
SQLancer: Automatically Finding Bugs in Databases
03:00 - 03:40
SPLASH REBASE
AMA
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
09:00 - 09:40
SPLASH REBASE
Towards the tower of Babel: a Polyglot Language VM in Java
11:00 - 11:40
SPLASH REBASE
Developing the Wolfram Language Compiler
13:00 - 13:40
SPLASH REBASE
AMA
Quantitative Types in Idris 2
15:00 - 15:40
SPLASH REBASE
AMA
Technology Today: A Paucity of Integrity and Imagination
17:00 - 17:40
Wed 18 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
SPLASH-II
SPLASH REBASE
Developing the Wolfram Language Compiler
01:00 - 01:40
SPLASH REBASE
AMA
Quantitative Types in Idris 2
03:00 - 03:40
SPLASH REBASE
AMA
Technology Today: A Paucity of Integrity and Imagination
05:00 - 05:40
SPLASH REBASE
Miniaturize All States!
07:00 - 07:40
SPLASH CARES
CARES Session
07:40 - 08:20
SPLASH REBASE
AMA
Paradigms Without Progress: Kuhnian Reflections on Programming Practice
11:00 - 11:40
SPLASH REBASE
Inside Every Calculus Is A Little Algebra Waiting To Get Out
13:00 - 13:40
SPLASH REBASE
AMA
Speculation in Smart Contracts
15:00 - 15:40
SPLASH REBASE
AMA
Tales from the Frontlines: Startup War Stories
17:00 - 17:40
SPLASH CARES
CARES Session
17:40 - 18:20
SPLASH REBASE
Miniaturize All States!
19:00 - 19:40
SPLASH CARES
CARES Session
19:40 - 20:20
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
SPLASH-II
SPLASH REBASE
Towards the tower of Babel: a Polyglot Language VM in Java
01:00 - 01:40
SPLASH REBASE
AMA
Speculation in Smart Contracts
03:00 - 03:40
SPLASH REBASE
AMA
Tales from the Frontlines: Startup War Stories
05:00 - 05:40
SPLASH REBASE
Relational Reasoning in Object-based Programs
09:00 - 09:40
SPLASH REBASE
Intermittent Computer Systems on Earth and in Space
11:00 - 11:40
SPLASH REBASE
JAX: accelerated machine learning research via composable function tran ...
13:00 - 13:40
SPLASH REBASE
On the Future of Flight Software
15:00 - 15:40
SPLASH REBASE
Enterprise-scale static analysis: A Pinpoint experience
17:00 - 17:40
SPLASH REBASE
Relational Reasoning in Object-based Programs
21:00 - 21:40
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
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-II
SPLASH REBASE
AMA
Technology Today: A Paucity of Integrity and Imagination
03:00 - 03:40
SPLASH REBASE
Enterprise-scale static analysis: A Pinpoint experience
05:00 - 05:40
SPLASH REBASE
AMA
PL and HCI: Better Together
07:00 - 07:40
SPLASH REBASE
AMA
Performance Really Matters
09:00 - 09:40
SPLASH REBASE
Co-Design for High-Performance Computing Software Systems
11:00 - 11:40
SPLASH REBASE
AMA
Variant analysis
13:00 - 13:40
SPLASH REBASE
AMA
The impact of differentiable programming: how ∂P is enabling new scienc ...
15:00 - 15:40
SPLASH REBASE
AMA
PL and HCI: Better Together
19:00 - 19:40
SPLASH REBASE
AMA
Performance Really Matters
21:00 - 21:40
SPLASH REBASE
Co-Design for High-Performance Computing Software Systems
23:00 - 23:40
Sat 21 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
1:00
15
30
45
SPLASH-II
SPLASH REBASE
AMA
Variant analysis
01:00 - 01:40
x
Thu 21 Nov 12:46