SPLASH 2020
Sun 15 - Sat 21 November 2020
Online Conference
Toggle navigation
Attending
Venue: Online
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Info
Presenter Instructions for OOPSLA/ECOOP/Onward!/GPCE/SLE/DLS
Presenter Instructions for SAS 2020
Presenter Instructions for REBASE 2020
Session Chair Instructions
Program
SPLASH Program
Your Program
Sun 15 Nov
Mon 16 Nov
Tue 17 Nov
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Sat 21 Nov
Tracks
SPLASH 2020
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
REBASE
Doctoral Symposium
PLMW
Posters
SPLASH-E
Student Research Competition
Student Volunteers
Workshops
Keynotes
Meet The Speakers (MTS)
Ask Me Anything (AMA)
CARES
Awards
Opening
Closing
Co-hosted Conferences
DLS
ECOOP
ECOOP
ECOOP
Research Papers
ECOOP
Artifacts
ECOOP
Student Volunteers
ECOOP
Doctoral Symposium
ECOOP
Tutorials
ECOOP
Posters
GPCE
SAS
SLE
Workshops
AGERE
COP
FTfJP
HATRA
HILT
ICOOOLPS
IWACO
JSTools
LIVE
LPOP
NSAD
PLATEAU
PRIDE
REBLS
SOOP
SySEPL
TAPAS
VMIL
VORTEX
Co-hosted Symposia
Scala
Organization
SPLASH 2020 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
REBASE
REBASE Chicago
REBASE Berlin
Doctoral Symposium
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers/Judges
Student Volunteers
Workshops
CARES
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
ECOOP
Organizing Committee
Research Papers
Program Committee
Research Papers
External Review Committee
Artifacts
Student Volunteers
Doctoral Symposium
Academic Panel
Doctoral Symposium
Organizing Committee
Doctoral Symposium
Program Committee
Posters
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Organizing Committee
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
Steering Commitee
HATRA
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JSTools
Organizing Committee
Program Committee
LIVE
Organising Committee
Programme Committee
LPOP
General Chairs
Program Chair
Program Committee
Publicity Chair
NSAD
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
PRIDE
Organizing Committee
Program Committee
REBLS
Program Committee
Steering Committee
SOOP
Organizing Committee
Program Committee
SySEPL
Organizing Committee
Program Committee
TAPAS
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Steering Committee
VORTEX
Organizing Committee
Program Committee
Co-hosted Symposia
Scala
Keynote
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2020
(
series
) /
Online
/
Room information: SPLASH-VI
Venue
Online
Room name
SPLASH-VI
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 10:20
Keynote & Short Talks
LIVE
at
SPLASH-VI
Chair(s):
Roly Perera
The Alan Turing Institute/University of Bristol
SPLASH-VI YouTube live stream
09:00
60m
Keynote
Liveliness, Reactivity, and Interactivity in the Future of Notebook Programming
LIVE
K:
Mary Beth Kery
Carnegie Mellon University
Media Attached
10:00
10m
Talk
Toward a Multi-Language and Multi-Environment Framework for Live Programming
LIVE
Hidehiko Masuhara
Tokyo Institute of Technology
,
Shusuke Takahashi
Tokyo Institute of Technology
,
Yusuke Izawa
Tokyo Institute of Technology
,
Youyou Cong
Tokyo Institute of Technology
Pre-print
Media Attached
10:10
10m
Talk
Toward Providing Live Feedback in Web Automation IDEs
LIVE
Rebecca Krosnick
University of Michigan
,
Steve Oney
University of Michigan
Media Attached
11:00 - 12:20
Full Talks I
LIVE
at
SPLASH-VI
Chair(s):
Brian Hempel
University of Chicago
SPLASH-VI YouTube live stream
11:00
20m
Talk
NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks
LIVE
Stephen Macke
Media Attached
11:20
20m
Talk
Mito: Edit a spreadsheet. Generate production ready Python.
LIVE
Jacob Diamond-Reivich
Media Attached
11:40
20m
Talk
Functional Block Programming and Debugging
LIVE
Dimi Racordon
University of Geneva, Switzerland
,
Emmanouela Stachtiari
University of Geneva
,
Damien Morard
,
Didier Buchs
University of Geneva, Switzerland
Media Attached
12:00
20m
Talk
Exploring Human-in-the-loop Program Synthesis with Live Coding
LIVE
Mark Santolucito
Barnard College, Columbia University, USA
Media Attached
13:00 - 14:20
Full Talks II
LIVE
at
SPLASH-VI
Chair(s):
Roly Perera
The Alan Turing Institute/University of Bristol
SPLASH-VI YouTube live stream
13:00
20m
Talk
Sketchable Interaction - End-User Customization via Interactive Regions
LIVE
Jürgen Hahn
University of Regensburg
,
Raphael Wimmer
University of Regensburg
Media Attached
13:20
20m
Talk
Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations
LIVE
Sam Lau
University of California San Diego
,
Philip Guo
University of California San Diego
Media Attached
13:40
20m
Talk
ManipML: Towards Bimodal Tangible Functional Programming
LIVE
Brian Hempel
University of Chicago
,
Ravi Chugh
University of Chicago
Media Attached
14:00
20m
Day closing
Wrap-up Discussion and Feedback
LIVE
Media Attached
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
13:00 - 14:20
Novices and Application Domains
HATRA
at
SPLASH-VI
Chair(s):
Luke Church
University of Cambridge
13:00
20m
Talk
Model-Driven Synthesis for Programming Tutors
HATRA
Niek Mulleners
Utrecht University
,
Johan Jeuring
Open University of the Netherlands, Netherlands
Link to publication
13:20
20m
Talk
Towards Solver-Aided Creativity
HATRA
Chris Martens
North Carolina State University
Pre-print
13:40
20m
Talk
Opportunities and Challenges for Circuit Board Level Hardware Description Languages
HATRA
Richard Lin
University of California, Berkeley
,
Bjoern Hartmann
UC Berkeley
Link to publication
Pre-print
14:00
20m
Talk
Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
HATRA
Hannah Potter
University of Michigan
,
Cyrus Omar
University of Michigan
Pre-print
15:00 - 16:20
Research Agenda Planning
HATRA
at
SPLASH-VI
Chair(s):
Michael Coblenz
University of Maryland at College Park
15:00
80m
Meeting
Research Agenda Planning
HATRA
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
07:00 - 08:20
Slot 1
Doctoral Symposium
at
SPLASH-VI
Chair(s):
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
07:00
10m
Day opening
Introduction and Welcome from the Organizers
supported by Facebook
Doctoral Symposium
C:
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
C:
Yvonne Coady
University of Victoria
,
C:
Chengsong Tan
King's College London
,
C:
Nafise Eskandani
TU Darmstadt
,
C:
Matthias Hauswirth
Università della Svizzera italiana
07:10
35m
Doctoral symposium paper
Improving User Experience of Static Analysis Tools [ECOOP DS]
supported by Facebook
Doctoral Symposium
Michael Schlichtig
07:45
35m
Doctoral symposium paper
A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]
supported by Facebook
Doctoral Symposium
Arnab Sharma
University of Paderborn
09:00 - 10:20
Slot 2
Doctoral Symposium
at
SPLASH-VI
Chair(s):
Matthias Hauswirth
Università della Svizzera italiana
09:00
35m
Doctoral symposium paper
Gradual Value-Dependent Information Flow Control [SPLASH DS]
supported by Facebook
Doctoral Symposium
Eduardo Geraldo
Link to publication
DOI
09:40
35m
Doctoral symposium paper
Machine Learning to Ease Understanding of Data Driven Compiler Optimizations [SPLASH DS]
supported by Facebook
Doctoral Symposium
Raphael Mosaner
Johannes Kepler University Linz
Link to publication
DOI
11:00 - 12:20
Slot 3
Doctoral Symposium
at
SPLASH-VI
Chair(s):
Nafise Eskandani
TU Darmstadt
11:00
35m
Doctoral symposium paper
Model-Driven Development of Mobile Applications [ECOOP DS]
supported by Facebook
Doctoral Symposium
Lyan Alwakeel
11:40
30m
Talk
Thesis design and engineering tradeoffs [Invited Talk]
supported by Facebook
Doctoral Symposium
Doug Lea
State University of New York (SUNY) Oswego
13:00 - 14:20
Slot 4
Doctoral Symposium
at
SPLASH-VI
Chair(s):
Chengsong Tan
King's College London
13:00
50m
Talk
Self-Marketing as a Researcher [Invited Talk]
supported by Facebook
Doctoral Symposium
Ben Hermann
Technical University Dortmund
Media Attached
File Attached
15:00 - 16:20
Slot 5
Doctoral Symposium
at
SPLASH-VI
Chair(s):
Yvonne Coady
University of Victoria
15:00
60m
Talk
Metamorphic Testing of Android Graphics Drivers [Invited Talk]
supported by Facebook
Doctoral Symposium
Alastair F. Donaldson
Imperial College London
16:00
15m
Other
Round up by the academic panel
supported by Facebook
Doctoral Symposium
16:15
5m
Day closing
Closing
supported by Facebook
Doctoral Symposium
C:
Nafise Eskandani
TU Darmstadt
,
C:
Yvonne Coady
University of Victoria
,
C:
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
C:
Chengsong Tan
King's College London
,
C:
Matthias Hauswirth
Università della Svizzera italiana
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
SPLASH-VI
LIVE
Keynote & Short Talks
LIVE
Full Talks I
LIVE
Full Talks II
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
SPLASH-VI
HATRA
Novices and Application Domains
HATRA
Research Agenda Planning
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
SPLASH-VI
Doctoral Symposium
Slot 1
Doctoral Symposium
Slot 2
Doctoral Symposium
Slot 3
Doctoral Symposium
Slot 4
Doctoral Symposium
Slot 5
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
SPLASH-VI
LIVE
Liveliness, Reactivity, and Interactivity in the Future of Notebook Pro ...
09:00 - 10:00
LIVE
Toward a Multi-Language and Multi-Environment Framework for Live Progra ...
10:00 - 10:10
LIVE
Toward Providing Live Feedback in Web Automation IDEs
10:10 - 10:20
LIVE
NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks
11:00 - 11:20
LIVE
Mito: Edit a spreadsheet. Generate production ready Python.
11:20 - 11:40
LIVE
Functional Block Programming and Debugging
11:40 - 12:00
LIVE
Exploring Human-in-the-loop Program Synthesis with Live Coding
12:00 - 12:20
LIVE
Sketchable Interaction - End-User Customization via Interactive Regions
13:00 - 13:20
LIVE
Data Theater: A Live Programming Environment for Prototyping Data-Drive ...
13:20 - 13:40
LIVE
ManipML: Towards Bimodal Tangible Functional Programming
13:40 - 14:00
LIVE
Wrap-up Discussion and Feedback
14:00 - 14:20
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
SPLASH-VI
HATRA
Model-Driven Synthesis for Programming Tutors
13:00 - 13:20
HATRA
Towards Solver-Aided Creativity
13:20 - 13:40
HATRA
Opportunities and Challenges for Circuit Board Level Hardware Descripti ...
13:40 - 14:00
HATRA
Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
14:00 - 14:20
HATRA
Research Agenda Planning
15:00 - 16:20
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
SPLASH-VI
SPLASH Doctoral Symposium
supported by Facebook
Introduction and Welcome from the Organizers
07:00 - 07:10
SPLASH Doctoral Symposium
supported by Facebook
Improving User Experience of Static Analysis Tools [ECOOP DS]
07:10 - 07:45
SPLASH Doctoral Symposium
supported by Facebook
A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]
07:45 - 08:20
SPLASH Doctoral Symposium
supported by Facebook
Gradual Value-Dependent Information Flow Control [SPLASH DS]
09:00 - 09:35
SPLASH Doctoral Symposium
supported by Facebook
Machine Learning to Ease Understanding of Data Driven Compiler Optimiza ...
09:40 - 10:15
SPLASH Doctoral Symposium
supported by Facebook
Model-Driven Development of Mobile Applications [ECOOP DS]
11:00 - 11:35
SPLASH Doctoral Symposium
supported by Facebook
Thesis design and engineering tradeoffs [Invited Talk]
11:40 - 12:10
SPLASH Doctoral Symposium
supported by Facebook
Self-Marketing as a Researcher [Invited Talk]
13:00 - 13:50
SPLASH Doctoral Symposium
supported by Facebook
Metamorphic Testing of Android Graphics Drivers [Invited Talk]
15:00 - 16:00
SPLASH Doctoral Symposium
supported by Facebook
Round up by the academic panel
16:00 - 16:15
SPLASH Doctoral Symposium
supported by Facebook
Closing
16:15 - 16:20
x
Sat 21 Dec 14:29