SPLASH 2020
Sun 15 - Sat 21 November 2020
Online Conference
Toggle navigation
Attending
Venue: Online
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Info
Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS
Presenter Instructions for SAS 2020
Presenter Instructions for REBASE 2020
Session Chair Instructions
Program
SPLASH Program
Your Program
Sun 15 Nov
Mon 16 Nov
Tue 17 Nov
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Sat 21 Nov
Tracks
SPLASH 2020
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
REBASE
Doctoral Symposium
PLMW
Posters
SPLASH-E
Student Research Competition
Student Volunteers
Workshops
Keynotes
Meet The Speakers (MTS)
Ask Me Anything (AMA)
CARES
Awards
Opening
Closing
Co-hosted Conferences
DLS
ECOOP
ECOOP
ECOOP
Research Papers
ECOOP
Artifacts
ECOOP
Student Volunteers
ECOOP
Doctoral Symposium
ECOOP
Tutorials
ECOOP
Posters
GPCE
SAS
SLE
Workshops
AGERE
COP
FTfJP
HATRA
HILT
ICOOOLPS
IWACO
JSTools
LIVE
LPOP
NSAD
PLATEAU
PRIDE
REBLS
SOOP
SySEPL
TAPAS
VMIL
VORTEX
Co-hosted Symposia
Scala
Organization
SPLASH 2020 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
REBASE
REBASE Chicago
REBASE Berlin
Doctoral Symposium
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers/Judges
Student Volunteers
Workshops
CARES
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
ECOOP
Organizing Committee
Research Papers
Program Committee
Research Papers
External Review Committee
Artifacts
Student Volunteers
Doctoral Symposium
Academic Panel
Doctoral Symposium
Organizing Committee
Doctoral Symposium
Program Committee
Posters
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Organizing Committee
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
Steering Commitee
HATRA
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JSTools
Organizing Committee
Program Committee
LIVE
Organising Committee
Programme Committee
LPOP
General Chairs
Program Chair
Program Committee
Publicity Chair
NSAD
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
PRIDE
Organizing Committee
Program Committee
REBLS
Program Committee
Steering Committee
SOOP
Organizing Committee
Program Committee
SySEPL
Organizing Committee
Program Committee
TAPAS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Steering Committee
VORTEX
Organizing Committee
Program Committee
Co-hosted Symposia
Scala
Keynote
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 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
REBASE
at
SPLASH-II
09:00
40m
Talk
Move Semantics for Nim
REBASE
Andreas Rumpf
Freelancer
11:00 - 11:40
2
REBASE
at
SPLASH-II
11:00
40m
Talk
Back to the Future! A History of UIs through Trends and Mass Culture
REBASE
Paola Bisogno
Casavo
Media Attached
13:00 - 13:40
3
REBASE
at
SPLASH-II
+10h
13:00
40m
Talk
Probabilistic Programming: The What, Why and How
AMA
REBASE
Maria I. Gorinova
The University of Edinburgh
15:00 - 15:40
4
REBASE
at
SPLASH-II
+10h
15:00
40m
Talk
A Ray of Hope: Array Programming for the 21st Century
REBASE
Gilad Bracha
F5 Networks
Media Attached
17:00 - 17:40
5
REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
AMA
REBASE
Jean Yang
Akita Software
Media Attached
23:00 - 23:40
3
REBASE
at
SPLASH-II
23:00
40m
Talk
Probabilistic Programming: The What, Why and How
AMA
REBASE
Maria I. Gorinova
The University of Edinburgh
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
4
REBASE
at
SPLASH-II
01:00
40m
Talk
A Ray of Hope: Array Programming for the 21st Century
REBASE
Gilad Bracha
F5 Networks
Media Attached
03:00 - 03:40
32
REBASE
at
SPLASH-II
+30h
03:00
40m
Talk
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
AMA
REBASE
Philippa Gardner
Imperial College London
05:00 - 05:40
5
REBASE
at
SPLASH-II
05:00
40m
Talk
APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
AMA
REBASE
Jean Yang
Akita Software
Media Attached
07:00 - 07:40
6
REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
Reliable Stack Traces, the Reality of Myth
AMA
REBASE
Francesco Zappa Nardelli
Facebook
11:00 - 11:40
7
REBASE
at
SPLASH-II
11:00
40m
Talk
Paparazzi, an open source UAV for research
REBASE
Gautier Hattenberger
ENAC
13:00 - 13:40
8
REBASE
at
SPLASH-II
+10h
13:00
40m
Talk
Herding Nulls in Dart
AMA
REBASE
Erik Ernst
Google LLC
15:00 - 15:40
9
REBASE
at
SPLASH-II
15:00
40m
Talk
Non-local compiler transformations in the presence of dynamic dispatch
REBASE
Keno Fischer
Julia Computing
17:00 - 17:40
10
REBASE
at
SPLASH-II
+8h
17:00
40m
Talk
Lies we tell ourselves about developer infrastructure
AMA
REBASE
Joe Pamer
Facebook
19:00 - 19:40
6
REBASE
at
SPLASH-II
19:00
40m
Talk
Reliable Stack Traces, the Reality of Myth
AMA
REBASE
Francesco Zappa Nardelli
Facebook
23:00 - 23:40
8
REBASE
at
SPLASH-II
23:00
40m
Talk
Herding Nulls in Dart
AMA
REBASE
Erik Ernst
Google LLC
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
10
REBASE
at
SPLASH-II
01:00
40m
Talk
Lies we tell ourselves about developer infrastructure
AMA
REBASE
Joe Pamer
Facebook
03:00 - 03:40
31
REBASE
at
SPLASH-II
03:00
40m
Talk
SQLancer: Automatically Finding Bugs in Databases
REBASE
Manuel Rigger
ETH Zurich
Media Attached
09:00 - 09:40
32
REBASE
at
SPLASH-II
09:00
40m
Talk
Gillian: a Multi-language Platform for Compositional Symbolic Analysis
AMA
REBASE
Philippa Gardner
Imperial College London
11:00 - 11:40
12
REBASE
at
SPLASH-II
+38h
11:00
40m
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
REBASE
Christian Humer
Oracle Labs
13:00 - 13:40
13
REBASE
at
SPLASH-II
+12h
13:00
40m
Talk
Developing the Wolfram Language Compiler
REBASE
Tom Wickham-Jones
Wolfram Research, Inc.
Media Attached
15:00 - 15:40
14
REBASE
at
SPLASH-II
+12h
15:00
40m
Talk
Quantitative Types in Idris 2
AMA
REBASE
Edwin Brady
University of St. Andrews
17:00 - 17:40
15
REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
REBASE
Robert Grimm
Media Attached
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
13
REBASE
at
SPLASH-II
01:00
40m
Talk
Developing the Wolfram Language Compiler
REBASE
Tom Wickham-Jones
Wolfram Research, Inc.
Media Attached
03:00 - 03:40
14
REBASE
at
SPLASH-II
03:00
40m
Talk
Quantitative Types in Idris 2
AMA
REBASE
Edwin Brady
University of St. Andrews
05:00 - 05:40
15
REBASE
at
SPLASH-II
05:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
REBASE
Robert Grimm
Media Attached
07:00 - 07:40
16
REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
Miniaturize All States!
REBASE
Mathieu Boespflug
Tweag I/O
07:40 - 08:20
CARES
CARES
at
SPLASH-II
+12h
07:40
40m
Social Event
CARES Session
CARES
11:00 - 11:40
17
REBASE
at
SPLASH-II
11:00
40m
Talk
Paradigms Without Progress: Kuhnian Reflections on Programming Practice
AMA
REBASE
Jimmy Miller
Adzerk
Media Attached
13:00 - 13:40
18
REBASE
at
SPLASH-II
13:00
40m
Talk
Inside Every Calculus Is A Little Algebra Waiting To Get Out
REBASE
Erik Meijer
Facebook
15:00 - 15:40
19
REBASE
at
SPLASH-II
+12h
15:00
40m
Talk
Speculation in Smart Contracts
AMA
REBASE
Maurice Herlihy
Brown University
17:00 - 17:40
20
REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Tales from the Frontlines: Startup War Stories
AMA
REBASE
Cliff Click
Self
17:40 - 18:20
CARES
CARES
at
SPLASH-II
17:40
40m
Social Event
CARES Session
CARES
19:00 - 19:40
16
REBASE
at
SPLASH-II
19:00
40m
Talk
Miniaturize All States!
REBASE
Mathieu Boespflug
Tweag I/O
19:40 - 20:20
CARES
CARES
at
SPLASH-II
19:40
40m
Social Event
CARES Session
CARES
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
12
REBASE
at
SPLASH-II
01:00
40m
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
REBASE
Christian Humer
Oracle Labs
03:00 - 03:40
19
REBASE
at
SPLASH-II
03:00
40m
Talk
Speculation in Smart Contracts
AMA
REBASE
Maurice Herlihy
Brown University
05:00 - 05:40
20
REBASE
at
SPLASH-II
05:00
40m
Talk
Tales from the Frontlines: Startup War Stories
AMA
REBASE
Cliff Click
Self
09:00 - 09:40
21
REBASE
at
SPLASH-II
+12h
09:00
40m
Talk
Relational Reasoning in Object-based Programs
REBASE
Anindya Banerjee
National Science Foundation
11:00 - 11:40
22
REBASE
at
SPLASH-II
11:00
40m
Talk
Intermittent Computer Systems on Earth and in Space
REBASE
Brandon Lucia
Carnegie Mellon University
13:00 - 13:40
23
REBASE
at
SPLASH-II
13:00
40m
Talk
JAX: accelerated machine learning research via composable function transformations in Python
REBASE
Matthew J. Johnson
Google Brain
15:00 - 15:40
24
REBASE
at
SPLASH-II
15:00
40m
Talk
On the Future of Flight Software
REBASE
Kristin Yvonne Rozier
Iowa State University
17:00 - 17:40
25
REBASE
at
SPLASH-II
+12h
17:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
REBASE
Charles Zhang
The Hong Kong University of Science and Technology
21:00 - 21:40
21
REBASE
at
SPLASH-II
21:00
40m
Talk
Relational Reasoning in Object-based Programs
REBASE
Anindya Banerjee
National Science Foundation
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
03:00 - 03:40
32
REBASE
at
SPLASH-II
03:00
40m
Talk
Technology Today: A Paucity of Integrity and Imagination
AMA
REBASE
Robert Grimm
Media Attached
05:00 - 05:40
25
REBASE
at
SPLASH-II
05:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
REBASE
Charles Zhang
The Hong Kong University of Science and Technology
07:00 - 07:40
26
REBASE
at
SPLASH-II
+12h
07:00
40m
Talk
PL and HCI: Better Together
AMA
REBASE
Elena Glassman
Harvard University
09:00 - 09:40
28
REBASE
at
SPLASH-II
+12h
09:00
40m
Talk
Performance Really Matters
AMA
REBASE
Emery D. Berger
University of Massachusetts at Amherst
11:00 - 11:40
29
REBASE
at
SPLASH-II
+12h
11:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
REBASE
Min Si
Argonne National Laboratory
13:00 - 13:40
30
REBASE
at
SPLASH-II
+12h
13:00
40m
Talk
Variant analysis
AMA
REBASE
A:
Aditya Sharad
GitHub
15:00 - 15:40
27
REBASE
at
SPLASH-II
15:00
40m
Talk
The impact of differentiable programming: how ∂P is enabling new science in Julia
AMA
REBASE
Matt Bauman
Julia Computing
19:00 - 19:40
26
REBASE
at
SPLASH-II
19:00
40m
Talk
PL and HCI: Better Together
AMA
REBASE
Elena Glassman
Harvard University
21:00 - 21:40
28
REBASE
at
SPLASH-II
21:00
40m
Talk
Performance Really Matters
AMA
REBASE
Emery D. Berger
University of Massachusetts at Amherst
23:00 - 23:40
29
REBASE
at
SPLASH-II
23:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
REBASE
Min Si
Argonne National Laboratory
Sat 21 Nov
Displayed time zone:
Central Time (US & Canada)
change
01:00 - 01:40
30
REBASE
at
SPLASH-II
01:00
40m
Talk
Variant analysis
AMA
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
REBASE
1
REBASE
2
REBASE
3
REBASE
4
REBASE
5
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
REBASE
4
REBASE
32
REBASE
5
REBASE
6
REBASE
7
REBASE
8
REBASE
9
REBASE
10
REBASE
6
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
REBASE
10
REBASE
31
REBASE
32
REBASE
12
REBASE
13
REBASE
14
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
REBASE
13
REBASE
14
REBASE
15
REBASE
16
CARES
CARES
REBASE
17
REBASE
18
REBASE
19
REBASE
20
CARES
CARES
REBASE
16
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
REBASE
12
REBASE
19
REBASE
20
REBASE
21
REBASE
22
REBASE
23
REBASE
24
REBASE
25
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
REBASE
32
REBASE
25
REBASE
26
REBASE
28
REBASE
29
REBASE
30
REBASE
27
REBASE
26
REBASE
28
REBASE
29
Sat 21 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
1:00
30
SPLASH-II
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 09:30