SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

These session will let attendees meet experts and speakers in small group settings. This requires registration and access to Clowdr.

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
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)
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)

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)
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)
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)
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)
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

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)
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
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 - 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
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 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)
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)
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)
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)
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)
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 - 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)
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: 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)
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)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
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)
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)
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
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)

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)
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