SySEPL 2020
Mon 13 - Fri 17 July 2020 Online Conference
co-located with ECOOP 2020
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

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:40
09:00
40m
Talk
Move Semantics for Nim
SPLASH REBASE
Andreas Rumpf Freelancer
13:00 - 13:40
13:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH REBASE
Maria I. Gorinova The University of Edinburgh
23:00 - 23:40
23:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH REBASE
Maria I. Gorinova The University of Edinburgh

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 13:40
13:00
40m
Talk
Herding Nulls in DartAMA
SPLASH REBASE
Erik Ernst Google LLC
23:00 - 23:40
23:00
40m
Talk
Herding Nulls in DartAMA
SPLASH REBASE
Erik Ernst Google LLC

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 13:40
13:00
40m
Talk
Developing the Wolfram Language Compiler
SPLASH REBASE
Tom Wickham-Jones Wolfram Research, Inc.
Media Attached
15:00 - 15:40
15:00
40m
Talk
Quantitative Types in Idris 2AMA
SPLASH REBASE
Edwin Brady University of St. Andrews

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 01:40
01:00
40m
Talk
Developing the Wolfram Language Compiler
SPLASH REBASE
Tom Wickham-Jones Wolfram Research, Inc.
Media Attached
03:00 - 03:40
03:00
40m
Talk
Quantitative Types in Idris 2AMA
SPLASH REBASE
Edwin Brady University of St. Andrews
07:00 - 07:40
07:00
40m
Talk
Miniaturize All States!
SPLASH REBASE
07:40 - 08:20
CARESSPLASH CARES at SPLASH-II +12h
07:40
40m
Social Event
CARES Session
SPLASH CARES

15:00 - 15:40
15:00
40m
Talk
Speculation in Smart ContractsAMA
SPLASH REBASE
Maurice Herlihy Brown University
17:40 - 18:20
17:40
40m
Social Event
CARES Session
SPLASH CARES

19:00 - 19:40
19:00
40m
Talk
Miniaturize All States!
SPLASH REBASE
19:40 - 20:20
19:40
40m
Social Event
CARES Session
SPLASH CARES

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

03:00 - 03:40
03:00
40m
Talk
Speculation in Smart ContractsAMA
SPLASH REBASE
Maurice Herlihy Brown University
09:00 - 09:40
09:00
40m
Talk
Relational Reasoning in Object-based Programs
SPLASH REBASE
Anindya Banerjee National Science Foundation
11:00 - 11:40
11:00
40m
Talk
Intermittent Computer Systems on Earth and in Space
SPLASH REBASE
Brandon Lucia Carnegie Mellon University
15:00 - 15:40
15:00
40m
Talk
On the Future of Flight Software
SPLASH REBASE
Kristin Yvonne Rozier Iowa State University
17:00 - 17:40
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: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

05:00 - 05:40
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
07:00
40m
Talk
PL and HCI: Better TogetherAMA
SPLASH REBASE
Elena Glassman Harvard University
09:00 - 09:40
09:00
40m
Talk
Performance Really MattersAMA
SPLASH REBASE
Emery D. Berger University of Massachusetts at Amherst
11:00 - 11:40
11:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
SPLASH REBASE
Min Si Argonne National Laboratory
13:00 - 13:40
13:00
40m
Talk
Variant analysisAMA
SPLASH REBASE
A: Aditya Sharad GitHub
19:00 - 19:40
19:00
40m
Talk
PL and HCI: Better TogetherAMA
SPLASH REBASE
Elena Glassman Harvard University
21:00 - 21:40
21:00
40m
Talk
Performance Really MattersAMA
SPLASH REBASE
Emery D. Berger University of Massachusetts at Amherst
23:00 - 23:40
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
01:00
40m
Talk
Variant analysisAMA
SPLASH REBASE
A: Aditya Sharad GitHub

Sun 15 Nov

Displayed 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

Displayed 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

Displayed 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

Displayed 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

Displayed 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

Displayed 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

Displayed time zone: Central Time (US & Canada) change

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

Sat 21 Nov

Displayed time zone: Central Time (US & Canada) change