Student Research Competition (SPLASH 2020 - Student Research Competition) - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Track

SPLASH 2020 Student Research Competition

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

When

Tue 17 Nov 2020 12:20 - 13:00 at SPLASH-I - Breakfast in Wellington
Wed 18 Nov 2020 00:20 - 01:00 at SPLASH-I - Breakfast in Paris

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

Session Program

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

	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 40m Poster		Student Research Competition Student Research Competition

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