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

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

09:00 - 09:40: 1SPLASH REBASE at SPLASH-II
09:00 - 09:40
Talk
Move Semantics for Nim
SPLASH REBASE
Andreas RumpfFreelancer
13:00 - 13:40: 3SPLASH REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH REBASE
Maria I. GorinovaThe University of Edinburgh
23:00 - 23:40: 3SPLASH REBASE at SPLASH-II
23:00 - 23:40
Talk
Probabilistic Programming: The What, Why and HowAMA
SPLASH 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: 32SPLASH REBASE at SPLASH-II +30h
03:00 - 03:40
Talk
Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA
SPLASH REBASE
Philippa GardnerImperial College London
07:00 - 07:40: 6SPLASH REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
Reliable Stack Traces, the Reality of MythAMA
SPLASH REBASE
13:00 - 13:40: 8SPLASH REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
Herding Nulls in DartAMA
SPLASH REBASE
Erik ErnstGoogle LLC
17:00 - 17:40: 10SPLASH REBASE at SPLASH-II +8h
17:00 - 17:40
Talk
Lies we tell ourselves about developer infrastructureAMA
SPLASH REBASE
Joe PamerFacebook
23:00 - 23:40: 8SPLASH REBASE at SPLASH-II
23:00 - 23:40
Talk
Herding Nulls in DartAMA
SPLASH REBASE
Erik ErnstGoogle LLC

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

01:00 - 01:40: 10SPLASH REBASE at SPLASH-II
01:00 - 01:40
Talk
Lies we tell ourselves about developer infrastructureAMA
SPLASH REBASE
Joe PamerFacebook
09:00 - 09:40: 32SPLASH REBASE at SPLASH-II
09:00 - 09:40
Talk
Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA
SPLASH REBASE
Philippa GardnerImperial College London
11:00 - 11:40: 12SPLASH REBASE at SPLASH-II +38h
11:00 - 11:40
Talk
Towards the tower of Babel: a Polyglot Language VM in Java
SPLASH REBASE
Christian HumerOracle Labs
13:00 - 13:40: 13SPLASH REBASE at SPLASH-II +12h
13:00 - 13:40
Talk
Developing the Wolfram Language Compiler
SPLASH REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
15:00 - 15:40: 14SPLASH REBASE at SPLASH-II +12h
15:00 - 15:40
Talk
Quantitative Types in Idris 2AMA
SPLASH REBASE
Edwin BradyUniversity of St. Andrews

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

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

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

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

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

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

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

01:00 - 01:40: 30SPLASH REBASE at SPLASH-II
01:00 - 01:40
Talk
Variant analysisAMA
SPLASH 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