SPLASH 2020 - REBASE - SPLASH 2020

About
Program

Rebase is a new conference for and by practitioners who want to engage academics about tomorrow’s technologies while fondly recalling the achievements of yesterday.

The virtual edition combines two conferences, REBASE::Berlin and REBASE::Chicago, in one single event.

Featuring 25 speakers over six days of conference in all time zones.

Invited Talks

	Title
	APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang Media Attached
	A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha Media Attached
	Back to the Future! A History of UIs through Trends and Mass Culture REBASE Paola Bisogno Media Attached
	Co-Design for High-Performance Computing Software Systems REBASE Min Si
	Developing the Wolfram Language Compiler REBASE Tom Wickham-Jones Media Attached
	Enterprise-scale static analysis: A Pinpoint experience REBASE Charles Zhang
	Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA REBASE Philippa Gardner
	Herding Nulls in DartAMA REBASE Erik Ernst
	Inside Every Calculus Is A Little Algebra Waiting To Get Out REBASE Erik Meijer
	Intermittent Computer Systems on Earth and in Space REBASE Brandon Lucia
	JAX: accelerated machine learning research via composable function transformations in Python REBASE Matthew J. Johnson
	Lies we tell ourselves about developer infrastructureAMA REBASE Joe Pamer
	Miniaturize All States! REBASE Mathieu Boespflug
	Move Semantics for Nim REBASE Andreas Rumpf
	Non-local compiler transformations in the presence of dynamic dispatch REBASE Keno Fischer
	On the Future of Flight Software REBASE Kristin Yvonne Rozier
	Paparazzi, an open source UAV for research REBASE Gautier Hattenberger
	Paradigms Without Progress: Kuhnian Reflections on Programming PracticeAMA REBASE Jimmy Miller Media Attached
	Performance Really MattersAMA REBASE Emery D. Berger
	PL and HCI: Better TogetherAMA REBASE Elena Glassman
	Probabilistic Programming: The What, Why and HowAMA REBASE Maria I. Gorinova
	Quantitative Types in Idris 2AMA REBASE Edwin Brady
	Relational Reasoning in Object-based Programs REBASE Anindya Banerjee
	Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa Nardelli
	Speculation in Smart ContractsAMA REBASE Maurice Herlihy
	SQLancer: Automatically Finding Bugs in Databases REBASE Manuel Rigger Media Attached
	Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff Click
	Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Robert Grimm Media Attached
	The impact of differentiable programming: how ∂P is enabling new science in JuliaAMA REBASE Matt Bauman
	Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian Humer
	Variant analysisAMA REBASE A: Aditya Sharad

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

09:00 - 09:40	1REBASE at SPLASH-II

09:00 40m Talk		Move Semantics for Nim REBASE Andreas Rumpf Freelancer

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

11:00 - 11:40	2REBASE at SPLASH-II

11:00 40m Talk		Back to the Future! A History of UIs through Trends and Mass Culture REBASE Paola Bisogno Casavo Media Attached

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)

13:00 - 13:40	3REBASE at SPLASH-II +10h

13:00 40m Talk		Probabilistic Programming: The What, Why and HowAMA REBASE Maria I. Gorinova The University of Edinburgh

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)

15:00 - 15:40	4REBASE at SPLASH-II +10h

15:00 40m Talk		A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha F5 Networks Media Attached

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 - 17:40	5REBASE at SPLASH-II +12h

17:00 40m Talk		APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang Akita Software Media Attached

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)

23:00 - 23:40	3REBASE at SPLASH-II

23:00 40m Talk		Probabilistic Programming: The What, Why and HowAMA REBASE Maria I. Gorinova The University of Edinburgh

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

01:00 - 01:40	4REBASE at SPLASH-II

01:00 40m Talk		A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha F5 Networks Media Attached

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)

03:00 - 03:40	32REBASE at SPLASH-II +30h

03:00 40m Talk		Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA REBASE Philippa Gardner Imperial College London

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 - 05:40	5REBASE at SPLASH-II

05:00 40m Talk		APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang Akita Software Media Attached

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 - 07:40	6REBASE at SPLASH-II +12h

07:00 40m Talk		Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa Nardelli Facebook

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

11:00 - 11:40	7REBASE at SPLASH-II

11:00 40m Talk		Paparazzi, an open source UAV for research REBASE Gautier Hattenberger ENAC

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)

13:00 - 13:40	8REBASE at SPLASH-II +10h

13:00 40m Talk		Herding Nulls in DartAMA REBASE Erik Ernst Google LLC

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)

15:00 - 15:40	9REBASE at SPLASH-II

15:00 40m Talk		Non-local compiler transformations in the presence of dynamic dispatch REBASE Keno Fischer Julia Computing

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 - 17:40	10REBASE at SPLASH-II +8h

17:00 40m Talk		Lies we tell ourselves about developer infrastructureAMA REBASE Joe Pamer Facebook

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:40	6REBASE at SPLASH-II

19:00 40m Talk		Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa Nardelli Facebook

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

23:00 - 23:40	8REBASE at SPLASH-II

23:00 40m Talk		Herding Nulls in DartAMA REBASE Erik Ernst Google LLC

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)

01:00 - 01:40	10REBASE at SPLASH-II

01:00 40m Talk		Lies we tell ourselves about developer infrastructureAMA REBASE Joe Pamer Facebook

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)

03:00 - 03:40	31REBASE at SPLASH-II

03:00 40m Talk		SQLancer: Automatically Finding Bugs in Databases REBASE Manuel Rigger ETH Zurich Media Attached

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)

09:00 - 09:40	32REBASE at SPLASH-II

09:00 40m Talk		Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA REBASE Philippa Gardner Imperial College London

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 - 11:40	12REBASE at SPLASH-II +38h

11:00 40m Talk		Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian Humer Oracle Labs

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

13:00 - 13:40	13REBASE at SPLASH-II +12h

13:00 40m Talk		Developing the Wolfram Language Compiler REBASE Tom Wickham-Jones Wolfram Research, Inc. Media Attached

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)

15:00 - 15:40	14REBASE at SPLASH-II +12h

15:00 40m Talk		Quantitative Types in Idris 2AMA REBASE Edwin Brady University of St. Andrews

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 - 17:40	15REBASE at SPLASH-II +12h

17:00 40m Talk		Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Robert Grimm Media Attached

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

01:00 - 01:40	13REBASE at SPLASH-II

01:00 40m Talk		Developing the Wolfram Language Compiler REBASE Tom Wickham-Jones Wolfram Research, Inc. Media Attached

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)

03:00 - 03:40	14REBASE at SPLASH-II

03:00 40m Talk		Quantitative Types in Idris 2AMA REBASE Edwin Brady University of St. Andrews

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)

05:00 - 05:40	15REBASE at SPLASH-II

05:00 40m Talk		Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Robert Grimm Media Attached

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 - 07:40	16REBASE at SPLASH-II +12h

07:00 40m Talk		Miniaturize All States! REBASE Mathieu Boespflug Tweag I/O

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)

11:00 - 11:40	17REBASE at SPLASH-II

11:00 40m Talk		Paradigms Without Progress: Kuhnian Reflections on Programming PracticeAMA REBASE Jimmy Miller Adzerk Media Attached

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)

13:00 - 13:40	18REBASE at SPLASH-II

13:00 40m Talk		Inside Every Calculus Is A Little Algebra Waiting To Get Out REBASE Erik Meijer Facebook

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)

15:00 - 15:40	19REBASE at SPLASH-II +12h

15:00 40m Talk		Speculation in Smart ContractsAMA REBASE Maurice Herlihy Brown University

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 - 17:40	20REBASE at SPLASH-II +12h

17:00 40m Talk		Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff Click Self

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:40	16REBASE at SPLASH-II

19:00 40m Talk		Miniaturize All States! REBASE Mathieu Boespflug Tweag I/O

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)

01:00 - 01:40	12REBASE at SPLASH-II

01:00 40m Talk		Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian Humer Oracle Labs

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)

03:00 - 03:40	19REBASE at SPLASH-II

03:00 40m Talk		Speculation in Smart ContractsAMA REBASE Maurice Herlihy Brown University

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 - 05:40	20REBASE at SPLASH-II

05:00 40m Talk		Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff Click Self

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)

09:00 - 09:40	21REBASE at SPLASH-II +12h

09:00 40m Talk		Relational Reasoning in Object-based Programs REBASE Anindya Banerjee National Science Foundation

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 - 11:40	22REBASE at SPLASH-II

11:00 40m Talk		Intermittent Computer Systems on Earth and in Space REBASE Brandon Lucia Carnegie Mellon University

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)

13:00 - 13:40	23REBASE at SPLASH-II

13:00 40m Talk		JAX: accelerated machine learning research via composable function transformations in Python REBASE Matthew J. Johnson Google Brain

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)

15:00 - 15:40	24REBASE at SPLASH-II

15:00 40m Talk		On the Future of Flight Software REBASE Kristin Yvonne Rozier Iowa State University

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 - 17:40	25REBASE at SPLASH-II +12h

17:00 40m Talk		Enterprise-scale static analysis: A Pinpoint experience REBASE Charles Zhang The Hong Kong University of Science and Technology

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)

21:00 - 21:40	21REBASE at SPLASH-II

21:00 40m Talk		Relational Reasoning in Object-based Programs REBASE Anindya Banerjee National Science Foundation

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)

03:00 - 03:40	32REBASE at SPLASH-II

03:00 40m Talk		Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Robert Grimm Media Attached

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 - 05:40	25REBASE at SPLASH-II

05:00 40m Talk		Enterprise-scale static analysis: A Pinpoint experience REBASE Charles Zhang The Hong Kong University of Science and Technology

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 - 07:40	26REBASE at SPLASH-II +12h

07:00 40m Talk		PL and HCI: Better TogetherAMA REBASE Elena Glassman Harvard University

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 - 09:40	28REBASE at SPLASH-II +12h

09:00 40m Talk		Performance Really MattersAMA REBASE Emery D. Berger University of Massachusetts at Amherst

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 - 11:40	29REBASE at SPLASH-II +12h

11:00 40m Talk		Co-Design for High-Performance Computing Software Systems REBASE Min Si Argonne National Laboratory

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)

13:00 - 13:40	30REBASE at SPLASH-II +12h

13:00 40m Talk		Variant analysisAMA REBASE A: Aditya Sharad GitHub

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)

15:00 - 15:40	27REBASE at SPLASH-II

15:00 40m Talk		The impact of differentiable programming: how ∂P is enabling new science in JuliaAMA REBASE Matt Bauman Julia Computing

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

19:00 - 19:40	26REBASE at SPLASH-II

19:00 40m Talk		PL and HCI: Better TogetherAMA REBASE Elena Glassman Harvard University

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 - 21:40	28REBASE at SPLASH-II

21:00 40m Talk		Performance Really MattersAMA REBASE Emery D. Berger University of Massachusetts at Amherst

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)

23:00 - 23:40	29REBASE at SPLASH-II

23:00 40m Talk		Co-Design for High-Performance Computing Software Systems REBASE Min Si Argonne National Laboratory

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)

01:00 - 01:40	30REBASE at SPLASH-II

01:00 40m Talk		Variant analysisAMA REBASE A: Aditya Sharad GitHub

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

REBASESPLASH 2020

Invited Talks

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

Satish ChandraCo-chair

Facebook, USA

United States

Yu David LiuCo-chair

State University of New York (SUNY) Binghamton

United States

Aviral GoelCo-chair

Northeastern University

Filip KřikavaCo-chair

Czech Technical University

Jan VitekCo-chair

Northeastern University / Czech Technical University

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

REBASESPLASH 2020

Invited Talks

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

Satish ChandraCo-chair

Facebook, USA

United States

Yu David LiuCo-chair

State University of New York (SUNY) Binghamton

United States

Aviral GoelCo-chair

Northeastern University

Filip KřikavaCo-chair

Czech Technical University

Jan VitekCo-chair

Northeastern University / Czech Technical University

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