SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

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

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

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)