SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
VenueOnline
Room nameSPLASH-II
Additional informationThere is no additional information of this room 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: 1REBASE at SPLASH-II
09:00 - 09:40
Talk
Move Semantics for Nim
REBASE
Andreas RumpfFreelancer
13:00 - 13:40: 3REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
Probabilistic Programming: The What, Why and HowAMA
REBASE
Maria I. GorinovaThe University of Edinburgh
23:00 - 23:40: 3REBASE at SPLASH-II
23:00 - 23:40
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

03:00 - 03:40: 32REBASE at SPLASH-II +30h
03:00 - 03:40
Talk
Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA
REBASE
Philippa GardnerImperial College London
07:00 - 07:40: 6REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
Reliable Stack Traces, the Reality of MythAMA
REBASE
13:00 - 13:40: 8REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC
17:00 - 17:40: 10REBASE at SPLASH-II +8h
17:00 - 17:40
Talk
Lies we tell ourselves about developer infrastructureAMA
REBASE
Joe PamerFacebook
23:00 - 23:40: 8REBASE at SPLASH-II
23:00 - 23:40
Talk
Herding Nulls in DartAMA
REBASE
Erik ErnstGoogle LLC

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

11:00 - 11:40: 12REBASE at SPLASH-II +38h
11:00 - 11:40
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
REBASE
Christian HumerOracle Labs
13:00 - 13:40: 13REBASE at SPLASH-II +12h
13:00 - 13:40
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 - 15:40
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: 13REBASE at SPLASH-II
01:00 - 01:40
Talk
Developing the Wolfram Language Compiler
REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
03:00 - 03:40: 14REBASE at SPLASH-II
03:00 - 03:40
Talk
Quantitative Types in Idris 2AMA
REBASE
Edwin BradyUniversity of St. Andrews
07:00 - 07:40: 16REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
Miniaturize All States!
REBASE
07:40 - 08:20: CARESCARES at SPLASH-II +12h
07:40 - 08:20
Social Event
CARES Session
CARES
15:00 - 15:40: 19REBASE at SPLASH-II +12h
15:00 - 15:40
Talk
Speculation in Smart ContractsAMA
REBASE
Maurice HerlihyBrown University
17:00 - 17:40: 20REBASE at SPLASH-II +12h
17:00 - 17:40
Talk
Tales from the Frontlines: Startup War StoriesAMA
REBASE
17:40 - 18:20: CARESCARES at SPLASH-II
17:40 - 18:20
Social Event
CARES Session
CARES
19:00 - 19:40: 16REBASE at SPLASH-II
19:00 - 19:40
Talk
Miniaturize All States!
REBASE
19:40 - 20:20: CARESCARES at SPLASH-II
19:40 - 20:20
Social Event
CARES Session
CARES

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

03:00 - 03:40: 19REBASE at SPLASH-II
03:00 - 03:40
Talk
Speculation in Smart ContractsAMA
REBASE
Maurice HerlihyBrown University
09:00 - 09:40: 21REBASE at SPLASH-II +12h
09:00 - 09:40
Talk
Relational Reasoning in Object-based Programs
REBASE
Anindya BanerjeeNational Science Foundation
11:00 - 11:40: 22REBASE at SPLASH-II
11:00 - 11:40
Talk
Intermittent Computer Systems on Earth and in Space
REBASE
Brandon LuciaCarnegie Mellon University
15:00 - 15:40: 24REBASE at SPLASH-II
15:00 - 15:40
Talk
On the Future of Flight Software
REBASE
Kristin Yvonne RozierIowa State University
17:00 - 17:40: 25REBASE at SPLASH-II +12h
17:00 - 17:40
Talk
Enterprise-scale static analysis: A Pinpoint experience
REBASE
Charles ZhangThe Hong Kong University of Science and Technology
21:00 - 21:40: 21REBASE at SPLASH-II
21:00 - 21:40
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: 25REBASE at SPLASH-II
05:00 - 05:40
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 - 07:40
Talk
PL and HCI: Better TogetherAMA
REBASE
Elena GlassmanHarvard University
09:00 - 09:40: 28REBASE at SPLASH-II +12h
09:00 - 09:40
Talk
Performance Really MattersAMA
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
11:00 - 11:40: 29REBASE at SPLASH-II +12h
11:00 - 11:40
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 - 13:40
Talk
Variant analysisAMA
REBASE
A: Aditya SharadGitHub
19:00 - 19:40: 26REBASE at SPLASH-II
19:00 - 19:40
Talk
PL and HCI: Better TogetherAMA
REBASE
Elena GlassmanHarvard University
21:00 - 21:40: 28REBASE at SPLASH-II
21:00 - 21:40
Talk
Performance Really MattersAMA
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
23:00 - 23:40: 29REBASE at SPLASH-II
23:00 - 23:40
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: 30REBASE at SPLASH-II
01:00 - 01:40
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