SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
VenueOnline
Room nameSPLASH-II
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 09:40
09:00
40m
Talk
Move Semantics for Nim
REBASE
Andreas RumpfFreelancer
13:00 - 13:40
3REBASE at SPLASH-II +10h
13:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
REBASE
Maria I. GorinovaThe University of Edinburgh
23:00 - 23:40
23:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
REBASE
Maria I. GorinovaThe University of Edinburgh

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 13:40
8REBASE at SPLASH-II +10h
13:00
40m
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC
23:00 - 23:40
23:00
40m
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 13:40
13REBASE at SPLASH-II +12h
13:00
40m
Talk
Developing the Wolfram Language Compiler
REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
15:00 - 15:40
14REBASE at SPLASH-II +12h
15:00
40m
Talk
Quantitative Types in Idris 2AMA
REBASE
Edwin BradyUniversity of St. Andrews

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 01:40
01:00
40m
Talk
Developing the Wolfram Language Compiler
REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
03:00 - 03:40
03:00
40m
Talk
Quantitative Types in Idris 2AMA
REBASE
Edwin BradyUniversity of St. Andrews
07:00 - 07:40
16REBASE at SPLASH-II +12h
07:00
40m
Talk
Miniaturize All States!
REBASE
07:40 - 08:20
CARESCARES at SPLASH-II +12h
07:40
40m
Social Event
CARES Session
CARES
15:00 - 15:40
19REBASE at SPLASH-II +12h
15:00
40m
Talk
Speculation in Smart ContractsAMA
REBASE
Maurice HerlihyBrown University
17:40 - 18:20
17:40
40m
Social Event
CARES Session
CARES
19:00 - 19:40
19:00
40m
Talk
Miniaturize All States!
REBASE
19:40 - 20:20
CARESCARES at SPLASH-II
19:40
40m
Social Event
CARES Session
CARES

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 03:40
03:00
40m
Talk
Speculation in Smart ContractsAMA
REBASE
Maurice HerlihyBrown University
09:00 - 09:40
21REBASE at SPLASH-II +12h
09:00
40m
Talk
Relational Reasoning in Object-based Programs
REBASE
Anindya BanerjeeNational Science Foundation
11:00 - 11:40
11:00
40m
Talk
Intermittent Computer Systems on Earth and in Space
REBASE
Brandon LuciaCarnegie Mellon University
15:00 - 15:40
15:00
40m
Talk
On the Future of Flight Software
REBASE
Kristin Yvonne RozierIowa State University
17:00 - 17:40
25REBASE at SPLASH-II +12h
17:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
REBASE
Charles ZhangThe Hong Kong University of Science and Technology
21:00 - 21:40
21:00
40m
Talk
Relational Reasoning in Object-based Programs
REBASE
Anindya BanerjeeNational Science Foundation

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 05:40
05:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
REBASE
Charles ZhangThe Hong Kong University of Science and Technology
07:00 - 07:40
26REBASE at SPLASH-II +12h
07:00
40m
Talk
PL and HCI: Better TogetherAMA
REBASE
Elena GlassmanHarvard University
09:00 - 09:40
28REBASE at SPLASH-II +12h
09:00
40m
Talk
Performance Really MattersAMA
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
11:00 - 11:40
29REBASE at SPLASH-II +12h
11:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
REBASE
Min SiArgonne National Laboratory
13:00 - 13:40
30REBASE at SPLASH-II +12h
13:00
40m
Talk
Variant analysisAMA
REBASE
A: Aditya SharadGitHub
19:00 - 19:40
19:00
40m
Talk
PL and HCI: Better TogetherAMA
REBASE
Elena GlassmanHarvard University
21:00 - 21:40
21:00
40m
Talk
Performance Really MattersAMA
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
23:00 - 23:40
23:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
REBASE
Min SiArgonne National Laboratory

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 01:40
01:00
40m
Talk
Variant analysisAMA
REBASE
A: Aditya SharadGitHub

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
SPLASH-II

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
SPLASH-II

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
SPLASH-II

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
SPLASH-II

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
SPLASH-II

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room3:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
SPLASH-II

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 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

Thu 19 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

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change