SPLASH 2020 - Awards - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

About
Program

This session is when prizes will be awarded! Surprises abound! Join us.

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 18 Nov
Displayed 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 40m Poster		Student Research Competition Student Research Competition

02:20 - 03:00	Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I

02:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

04:20 - 05:00	Dinner in BejingMeet The Speakers (MTS) at SPLASH-I

04:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

06:20 - 07:00	Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I

06:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

08:20 - 09:00	Breakfast in ChicagoAwards at SPLASH-I +12h

08:20 40m Other		Awards Session Awards David Grove IBM Research, Jens Palsberg University of California, Los Angeles

09:00 - 10:20	WKeynotes at SPLASH-I +12h Chair(s): Hridesh Rajan Iowa State University, USA

09:00 80m Keynote		Models and Programs: Better Togethersupported by Futurewei Keynotes Sriram Rajamani Microsoft Research Link to publication

10:20 - 11:00	Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h

10:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

12:20 - 13:00	Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h

12:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

14:20 - 15:00	Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h

14:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

16:20 - 17:00	Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h

16:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

18:20 - 19:00	Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h

18:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

20:20 - 21:00	Cocktails in New YorkAwards at SPLASH-I

20:20 40m Other		Awards Session Awards David Grove IBM Research, Jens Palsberg University of California, Los Angeles

21:00 - 22:20	WKeynotes at SPLASH-I Chair(s): Hridesh Rajan Iowa State University, USA

21:00 80m Keynote		Models and Programs: Better Togethersupported by Futurewei Keynotes Sriram Rajamani Microsoft Research Link to publication

22:20 - 23:00	Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I

22:20 40m Social Event		Meet The Speakers Meet The Speakers (MTS)

AwardsSPLASH 2020

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

AwardsSPLASH 2020

Program Display Configuration

Wed 18 NovDisplayed time zone: Central Time (US & Canada) change

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