SPLASH 2020 - Meet The Speakers (MTS)

About
Program

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

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

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

07:00 - 07:20	Opening SessionOpening at SPLASH-I +12h

07:00 20m Day opening		Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University

07:20 - 08:20	SKeynotes at SPLASH-I +12h

07:20 60m Keynote		Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication 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 40m Other		Posters Session 1 Posters

10:20 - 11:00	Breakfast in Seattle (PLMW AMA)PLMW at SPLASH-I

10:20 40m Talk		Ask Me Anything: Amal Ahmed PLMW Amal Ahmed Northeastern University, USA

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

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)

19:00 - 19:20	Opening SessionOpening at SPLASH-I

19:00 20m Day opening		Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University

19:20 - 20:20	SKeynotes at SPLASH-I

19:20 60m Keynote		Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication 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 40m Other		Posters Session 1 Posters

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)

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00	Breakfast in Paris (PLMW AMA)PLMW at SPLASH-I

00:20 40m Talk		Ask Me Anything: Sriram Rajamani PLMW Sriram Rajamani Microsoft Research

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 BeijingMeet 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 ChicagoMeet The Speakers (MTS) at SPLASH-I +12h

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

09:00 - 10:20	MKeynotes at SPLASH-I +12h

09:00 80m Keynote		Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication 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 40m Poster		Posters Session 2 Posters

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

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 YorkMeet The Speakers (MTS) at SPLASH-I

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

21:00 - 22:20	MKeynotes at SPLASH-I

21:00 80m Keynote		Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication 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 40m Poster		Posters Session 2 Posters

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

00:20 - 01:00	Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I

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

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

07:00 - 08:20	TKeynotes at SPLASH-I +12h Chair(s): Steve Blackburn Australian National University

07:00 80m Keynote		Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication

08:20 - 09:00	Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h

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

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

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)

19:00 - 20:20	TKeynotes at SPLASH-I Chair(s): Steve Blackburn Australian National University

19:00 80m Keynote		Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication

20:20 - 21:00	Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I

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

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)

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)

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00	Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I

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

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

07:00 - 08:20	RKeynotes at SPLASH-I +12h Chair(s): David Grove IBM Research

07:00 80m Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication

08:20 - 09:00	Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h

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

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)

11:00 - 12:20	Breakfast in SeattleStudent Research Competition at SPLASH-IV

11:00 80m Poster		Student Research Competition Student Research Competition

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)

19:00 - 20:20	RKeynotes at SPLASH-I Chair(s): David Grove IBM Research

19:00 80m Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication

20:20 - 21:00	Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I

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

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)

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00	Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I

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

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 BeijingMeet 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 ChicagoMeet The Speakers (MTS) at SPLASH-I +12h

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

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)

17:00 - 18:20	FKeynotes at SPLASH-I +12h Chair(s): Stephen Kell University of Kent, Didier Verna EPITA / LRDE

17:00 80m Keynote		Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany Johnson George Mason University Link to publication

18:20 - 19:00	Cocktails in RioClosing at SPLASH-I +12h

18:20 40m Day closing		Closing Session Closing G: Hridesh Rajan Iowa State University, USA

20:20 - 21:00	Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I

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

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)

Sat 21 Nov
Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00	Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I

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

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 BeijingMeet The Speakers (MTS) at SPLASH-I

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

05:00 - 06:20	FKeynotes at SPLASH-I Chair(s): Stephen Kell University of Kent, Didier Verna EPITA / LRDE

05:00 80m Keynote		Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany Johnson George Mason University Link to publication

06:20 - 07:00	Dinner in DelhiClosing at SPLASH-I

06:20 40m Day closing		Closing Session Closing G: Hridesh Rajan Iowa State University, USA

Meet The Speakers (MTS)SPLASH 2020

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

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

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

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change

Sat 21 Nov
Displayed time zone: Central Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

Meet The Speakers (MTS)SPLASH 2020

Program Display Configuration

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

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

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

Thu 19 NovDisplayed time zone: Central Time (US & Canada) change

Fri 20 NovDisplayed time zone: Central Time (US & Canada) change

Sat 21 NovDisplayed time zone: Central Time (US & Canada) change

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

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

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

Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change

Sat 21 Nov
Displayed time zone: Central Time (US & Canada) change