SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Rebase is a new conference for and by practitioners who want to engage academics about tomorrow’s technologies while fondly recalling the achievements of yesterday.

The virtual edition combines two conferences, REBASE::Berlin and REBASE::Chicago, in one single event.

Featuring 25 speakers over six days of conference in all time zones.

Invited Talks

Title
REBASE
Media Attached
REBASE
Media Attached
REBASE
Media Attached
REBASE
REBASE
Media Attached
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
Media Attached
REBASE
REBASE
REBASE
REBASE
REBASE
REBASE
Media Attached
REBASE
REBASE
REBASE
Media Attached
REBASE
REBASE
REBASE
Dates
Plenary
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

07:00 - 07:20: Opening SessionOpening at SPLASH-I +12h
07:00 - 07:20
Day opening
Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
07:20 - 08:20: SKeynotes at SPLASH-I +12h
07:20 - 08:20
Keynote
Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
08:20 - 09:00: Breakfast in ChicagoPosters at SPLASH-I +12h

Please click the link below for the list of featured posters.

08:20 - 09:00
Other
Posters
09:00 - 09:40: 1REBASE at SPLASH-II
09:00 - 09:40
Talk
REBASE
Andreas RumpfFreelancer
10:20 - 11:00: Breakfast in Seattle (PLMW AMA)PLMW at SPLASH-I
10:20 - 11:00
Talk
PLMW
Amal AhmedNortheastern University, USA
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +36h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
13:00 - 13:40: 3REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
REBASE
Maria I. GorinovaThe University of Edinburgh
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 19:20: Opening SessionOpening at SPLASH-I
19:00 - 19:20
Day opening
Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
19:20 - 20:20: SKeynotes at SPLASH-I
19:20 - 20:20
Keynote
Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
20:20 - 21:00: Cocktails in New YorkPosters at SPLASH-I

Please click the link below for the list of featured posters.

20:20 - 21:00
Other
Posters
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)
23:00 - 23:40: 3REBASE at SPLASH-II
23:00 - 23:40
Talk
REBASE
Maria I. GorinovaThe University of Edinburgh

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

00:20 - 01:00: Breakfast in Paris (PLMW AMA)PLMW at SPLASH-I
00:20 - 01:00
Talk
PLMW
Sriram RajamaniMicrosoft Research
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
03:00 - 03:40: 32REBASE at SPLASH-II +30h
03:00 - 03:40
Talk
REBASE
Philippa GardnerImperial College London
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 07:40: 6REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
REBASE
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 10:20: MKeynotes at SPLASH-I +12h
09:00 - 10:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
10:20 - 11:00: Breakfast in SeattlePosters at SPLASH-I +12h

Please click the link below for the list of featured posters.

10:20 - 11:00
Poster
Posters
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
13:00 - 13:40: 8REBASE at SPLASH-II +10h
13:00 - 13:40
Talk
REBASE
Erik ErnstGoogle LLC
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
17:00 - 17:40: 10REBASE at SPLASH-II +8h
17:00 - 17:40
Talk
REBASE
Joe PamerFacebook
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
21:00 - 22:20: MKeynotes at SPLASH-I
21:00 - 22:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
22:20 - 23:00: Lunch in TokyoPosters at SPLASH-I

Please click the link below for the list of featured posters.

22:20 - 23:00
Poster
Posters
23:00 - 23:40: 8REBASE at SPLASH-II
23:00 - 23:40
Talk
REBASE
Erik ErnstGoogle LLC

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

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: TKeynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00 - 08:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
11:00 - 11:40: 12REBASE at SPLASH-II +38h
11:00 - 11:40
Talk
REBASE
Christian HumerOracle Labs
12:20 - 13:00: Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20 - 13:00
Poster
Student Research Competition
13:00 - 13:40: 13REBASE at SPLASH-II +12h
13:00 - 13:40
Talk
REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
15:00 - 15:40: 14REBASE at SPLASH-II +12h
15:00 - 15:40
Talk
REBASE
Edwin BradyUniversity of St. Andrews
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: TKeynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00 - 20:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

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

00:20 - 01:00: Breakfast in ParisStudent Research Competition at SPLASH-I
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

00:20 - 01:00
Poster
Student Research Competition
01:00 - 01:40: 13REBASE at SPLASH-II
01:00 - 01:40
Talk
REBASE
Tom Wickham-JonesWolfram Research, Inc.
Media Attached
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
03:00 - 03:40: 14REBASE at SPLASH-II
03:00 - 03:40
Talk
REBASE
Edwin BradyUniversity of St. Andrews
04:20 - 05:00: Dinner in BejingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 07:40: 16REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
REBASE
08:20 - 09:00: Breakfast in ChicagoAwards at SPLASH-I +12h
08:20 - 09:00
Other
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
09:00 - 10:20: WKeynotes at SPLASH-I +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00 - 10:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
15:00 - 15:40: 19REBASE at SPLASH-II +12h
15:00 - 15:40
Talk
REBASE
Maurice HerlihyBrown University
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
17:00 - 17:40: 20REBASE at SPLASH-II +12h
17:00 - 17:40
Talk
REBASE
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 19:40: 16REBASE at SPLASH-II
19:00 - 19:40
Talk
REBASE
20:20 - 21:00: Cocktails in New YorkAwards at SPLASH-I
20:20 - 21:00
Other
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
21:00 - 22:20: WKeynotes at SPLASH-I
Chair(s): Hridesh RajanIowa State University, USA
21:00 - 22:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

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

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
03:00 - 03:40: 19REBASE at SPLASH-II
03:00 - 03:40
Talk
REBASE
Maurice HerlihyBrown University
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: RKeynotes at SPLASH-I +12h
Chair(s): David GroveIBM Research
07:00 - 08:20
Keynote
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 09:40: 21REBASE at SPLASH-II +12h
09:00 - 09:40
Talk
REBASE
Anindya BanerjeeNational Science Foundation
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
11:00 - 11:40: 22REBASE at SPLASH-II
11:00 - 11:40
Talk
REBASE
Brandon LuciaCarnegie Mellon University
11:00 - 12:20: Breakfast in SeattleStudent Research Competition at SPLASH-IV
11:00 - 12:20
Poster
Student Research Competition
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
15:00 - 15:40: 24REBASE at SPLASH-II
15:00 - 15:40
Talk
REBASE
Kristin Yvonne RozierIowa State University
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
17:00 - 17:40: 25REBASE at SPLASH-II +12h
17:00 - 17:40
Talk
REBASE
Charles ZhangThe Hong Kong University of Science and Technology
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: RKeynotes at SPLASH-I
Chair(s): David GroveIBM Research
19:00 - 20:20
Keynote
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
21:00 - 21:40: 21REBASE at SPLASH-II
21:00 - 21:40
Talk
REBASE
Anindya BanerjeeNational Science Foundation
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

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

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
05:00 - 05:40: 25REBASE at SPLASH-II
05:00 - 05:40
Talk
REBASE
Charles ZhangThe Hong Kong University of Science and Technology
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 07:40: 26REBASE at SPLASH-II +12h
07:00 - 07:40
Talk
REBASE
Elena GlassmanHarvard University
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 09:40: 28REBASE at SPLASH-II +12h
09:00 - 09:40
Talk
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
Meet The Speakers (MTS)
11:00 - 11:40: 29REBASE at SPLASH-II +12h
11:00 - 11:40
Talk
REBASE
Min SiArgonne National Laboratory
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
13:00 - 13:40: 30REBASE at SPLASH-II +12h
13:00 - 13:40
Talk
REBASE
A: Aditya SharadGitHub
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
17:00 - 18:20: FKeynotes at SPLASH-I +12h
Chair(s): Stephen KellUniversity of Kent, Didier VernaEPITA / LRDE
17:00 - 18:20
Keynote
Keynotes
Brittany JohnsonGeorge Mason University
18:20 - 19:00: Cocktails in RioClosing at SPLASH-I +12h
18:20 - 19:00
Day closing
Closing
G: Hridesh RajanIowa State University, USA
19:00 - 19:40: 26REBASE at SPLASH-II
19:00 - 19:40
Talk
REBASE
Elena GlassmanHarvard University
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
21:00 - 21:40: 28REBASE at SPLASH-II
21:00 - 21:40
Talk
REBASE
Emery D. BergerUniversity of Massachusetts at Amherst
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)
23:00 - 23:40: 29REBASE at SPLASH-II
23:00 - 23:40
Talk
REBASE
Min SiArgonne National Laboratory

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

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
01:00 - 01:40: 30REBASE at SPLASH-II
01:00 - 01:40
Talk
REBASE
A: Aditya SharadGitHub
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
05:00 - 06:20: FKeynotes at SPLASH-I
Chair(s): Didier VernaEPITA / LRDE, Stephen KellUniversity of Kent
05:00 - 06:20
Keynote
Keynotes
Brittany JohnsonGeorge Mason University
06:20 - 07:00: Dinner in DelhiClosing at SPLASH-I
06:20 - 07:00
Day closing
Closing
G: Hridesh RajanIowa State University, USA