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
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 Session 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		Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook 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 Session 1 Posters

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

	10:20 - 11:00 Talk		Ask Me Anything: Amal Ahmed 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 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 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 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 Meet The Speakers (MTS)

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

	19:00 - 19:20 Day opening		Opening Session 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		Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook 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 Session 1 Posters

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

	22:20 - 23:00 Social Event		Meet The Speakers 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		Ask Me Anything: Sriram Rajamani 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 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 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 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 Meet The Speakers (MTS)

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

	09:00 - 10:20 Keynote		Catching More Bugs with Fewer False AlarmsAMA 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 Session 2 Posters

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

	12:20 - 13:00 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 - 15:00 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 - 17:00 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 - 19:00 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 - 21:00 Social Event		Meet The Speakers Meet The Speakers (MTS)

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

	21:00 - 22:20 Keynote		Catching More Bugs with Fewer False AlarmsAMA 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 Session 2 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 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 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 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 Meet The Speakers (MTS)

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

	07:00 - 08:20 Keynote		Testing Deep Neural Networks 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 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 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 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 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 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 Meet The Speakers (MTS)

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

	19:00 - 20:20 Keynote		Testing Deep Neural Networks 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 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 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 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 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 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 Meet The Speakers (MTS)

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

	08:20 - 09:00 Other		Awards Session 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		Models and Programs: Better Togethersupported by Futurewei 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 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 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 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 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 Meet The Speakers (MTS)

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

	20:20 - 21:00 Other		Awards Session 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		Models and Programs: Better Togethersupported by Futurewei 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 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 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 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 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 Meet The Speakers (MTS)

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

	07:00 - 08:20 Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research 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 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 Meet The Speakers (MTS)

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

	11:00 - 12:20 Poster		Student Research Competition 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 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 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 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 Meet The Speakers (MTS)

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

	19:00 - 20:20 Keynote		Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research 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 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 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 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 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 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 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 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 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 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 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 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		Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany JohnsonGeorge Mason University

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

	18:20 - 19:00 Day closing		Closing Session 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 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 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 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 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 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		Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany JohnsonGeorge Mason University

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

	06:20 - 07:00 Day closing		Closing Session Closing G: Hridesh RajanIowa State University, USA

Meet The Speakers (MTS)SPLASH 2020

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sat 21 Nov
Times are displayed in 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 Nov Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change

Wed 18 Nov Times are displayed in time zone: Central Time (US & Canada) change

Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change

Fri 20 Nov Times are displayed in time zone: Central Time (US & Canada) change

Sat 21 Nov Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sat 21 Nov
Times are displayed in time zone: Central Time (US & Canada) change