ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 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

Conference Day
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 RumpfFreelancer
13:00 - 13:40
13:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH REBASE
Maria I. GorinovaThe University of Edinburgh
23:00 - 23:40
23:00
40m
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH REBASE
Maria I. GorinovaThe University of Edinburgh

Conference Day
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 ErnstGoogle LLC
23:00 - 23:40
23:00
40m
Talk
Herding Nulls in DartAMA
SPLASH REBASE
Erik ErnstGoogle LLC

Conference Day
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-JonesWolfram Research, Inc.
Media Attached
15:00 - 15:40
15:00
40m
Talk
Quantitative Types in Idris 2AMA
SPLASH REBASE
Edwin BradyUniversity of St. Andrews

Conference Day
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-JonesWolfram Research, Inc.
Media Attached
03:00 - 03:40
03:00
40m
Talk
Quantitative Types in Idris 2AMA
SPLASH REBASE
Edwin BradyUniversity 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 HerlihyBrown 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

Conference Day
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 HerlihyBrown University
09:00 - 09:40
09:00
40m
Talk
Relational Reasoning in Object-based Programs
SPLASH REBASE
Anindya BanerjeeNational Science Foundation
11:00 - 11:40
11:00
40m
Talk
Intermittent Computer Systems on Earth and in Space
SPLASH REBASE
Brandon LuciaCarnegie Mellon University
15:00 - 15:40
15:00
40m
Talk
On the Future of Flight Software
SPLASH REBASE
Kristin Yvonne RozierIowa State University
17:00 - 17:40
17:00
40m
Talk
Enterprise-scale static analysis: A Pinpoint experience
SPLASH REBASE
Charles ZhangThe Hong Kong University of Science and Technology
21:00 - 21:40
21:00
40m
Talk
Relational Reasoning in Object-based Programs
SPLASH REBASE
Anindya BanerjeeNational Science Foundation

Conference Day
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 ZhangThe Hong Kong University of Science and Technology
07:00 - 07:40
07:00
40m
Talk
PL and HCI: Better TogetherAMA
SPLASH REBASE
Elena GlassmanHarvard University
09:00 - 09:40
09:00
40m
Talk
Performance Really MattersAMA
SPLASH REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
11:00 - 11:40
11:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
SPLASH REBASE
Min SiArgonne National Laboratory
13:00 - 13:40
13:00
40m
Talk
Variant analysisAMA
SPLASH REBASE
A: Aditya SharadGitHub
19:00 - 19:40
19:00
40m
Talk
PL and HCI: Better TogetherAMA
SPLASH REBASE
Elena GlassmanHarvard University
21:00 - 21:40
21:00
40m
Talk
Performance Really MattersAMA
SPLASH REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
23:00 - 23:40
23:00
40m
Talk
Co-Design for High-Performance Computing Software Systems
SPLASH REBASE
Min SiArgonne National Laboratory

Conference Day
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 SharadGitHub

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
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

Conference Day
Sat 21 Nov

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

Conference Day
Sun 15 Nov

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

Conference Day
Mon 16 Nov

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

Conference Day
Tue 17 Nov

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

Conference Day
Wed 18 Nov

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

Conference Day
Thu 19 Nov

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

Conference Day
Fri 20 Nov

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

Conference Day
Sat 21 Nov

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