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
	A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha Media Attached
	APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang 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 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
	PL and HCI: Better TogetherAMA REBASE Elena Glassman
	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
	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
	SQLancer: Automatically Finding Bugs in Databases REBASE Manuel Rigger Media Attached
	Speculation in Smart ContractsAMA REBASE Maurice Herlihy
	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
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 Institute (HPI), University of Potsdam, 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 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 - 09:00 Other		Posters Session 1 Posters

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

	09:00 - 09:40 Talk		Move Semantics for Nim REBASE Andreas RumpfFreelancer

	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

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

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

	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)

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

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

	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)

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

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

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

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

	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 Institute (HPI), University of Potsdam, 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 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 - 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)

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

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

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

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

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

	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)

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

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

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

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

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

	07:00 - 07:40 Talk		Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa NardelliFacebook

	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 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 - 11:00 Poster		Posters Session 2 Posters

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

	11:00 - 11:40 Talk		Paparazzi, an open source UAV for research REBASE Gautier HattenbergerENAC

	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)

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

	13:00 - 13:40 Talk		Herding Nulls in DartAMA REBASE Erik ErnstGoogle LLC

	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)

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

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

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

	17:00 - 17:40 Talk		Lies we tell ourselves about developer infrastructureAMA REBASE Joe PamerFacebook

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

	19:00 - 19:40 Talk		Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa NardelliFacebook

	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 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 - 23:00 Poster		Posters Session 2 Posters

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

	23:00 - 23:40 Talk		Herding Nulls in DartAMA REBASE Erik ErnstGoogle LLC

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)

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

	01:00 - 01:40 Talk		Lies we tell ourselves about developer infrastructureAMA REBASE Joe PamerFacebook

	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)

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

	03:00 - 03:40 Talk		SQLancer: Automatically Finding Bugs in Databases REBASE Manuel RiggerETH Zurich Media Attached

	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)

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

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

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

	11:00 - 11:40 Talk		Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian HumerOracle 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 - 13:00 Poster		Student Research Competition Student Research Competition

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

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

	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)

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

	15:00 - 15:40 Talk		Quantitative Types in Idris 2AMA REBASE Edwin BradyUniversity of St. Andrews

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

	17:00 - 17:40 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 - 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

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

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

	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)

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

	03:00 - 03:40 Talk		Quantitative Types in Idris 2AMA REBASE Edwin BradyUniversity of St. Andrews

	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)

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

	05:00 - 05:40 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 - 07:00 Social Event		Meet The Speakers Meet The Speakers (MTS)

	07:00 - 07:40: 16REBASE at SPLASH-II +12h

	07:00 - 07:40 Talk		Miniaturize All States! REBASE Mathieu BoespflugTweag I/O

	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)

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

	11:00 - 11:40 Talk		Paradigms Without Progress: Kuhnian Reflections on Programming PracticeAMA REBASE Jimmy MillerAdzerk Media Attached

	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)

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

	13:00 - 13:40 Talk		Inside Every Calculus Is A Little Algebra Waiting To Get Out REBASE Erik MeijerFacebook

	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)

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

	15:00 - 15:40 Talk		Speculation in Smart ContractsAMA REBASE Maurice HerlihyBrown University

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

	17:00 - 17:40 Talk		Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff ClickSelf

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

	19:00 - 19:40 Talk		Miniaturize All States! REBASE Mathieu BoespflugTweag I/O

	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)

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

	01:00 - 01:40 Talk		Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian HumerOracle Labs

	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)

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

	03:00 - 03:40 Talk		Speculation in Smart ContractsAMA REBASE Maurice HerlihyBrown University

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

	05:00 - 05:40 Talk		Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff ClickSelf

	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)

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

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

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

	11:00 - 11:40 Talk		Intermittent Computer Systems on Earth and in Space REBASE Brandon LuciaCarnegie Mellon University

	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)

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

	13:00 - 13:40 Talk		JAX: accelerated machine learning research via composable function transformations in Python REBASE Matthew JohnsonGoogle Brain

	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)

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

	15:00 - 15:40 Talk		On the Future of Flight Software REBASE Kristin Yvonne RozierIowa State University

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

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

	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)

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

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

	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)

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

	03:00 - 03:40 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 - 05:00 Social Event		Meet The Speakers Meet The Speakers (MTS)

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

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

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

	07:00 - 07:40 Talk		PL and HCI: Better TogetherAMA REBASE Elena GlassmanHarvard University

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

	09:00 - 09:40 Talk		Performance Really MattersAMA REBASE Emery D. BergerUniversity of Massachusetts at Amherst

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

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

	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)

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

	13:00 - 13:40 Talk		Variant analysisAMA REBASE A: Aditya SharadGitHub

	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)

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

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

	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 Link to publication

	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

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

	19:00 - 19:40 Talk		PL and HCI: Better TogetherAMA REBASE Elena GlassmanHarvard University

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

	21:00 - 21:40 Talk		Performance Really MattersAMA REBASE Emery D. BergerUniversity of Massachusetts at Amherst

	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)

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

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

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)

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

	01:00 - 01:40 Talk		Variant analysisAMA REBASE A: Aditya SharadGitHub

	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 Link to publication

	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

REBASESPLASH 2020

Invited Talks

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

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 Symposiums

REBASESPLASH 2020

Invited Talks

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

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