SAS 2020
Wed 18 - Fri 20 November 2020
Online Conference
co-located with
SPLASH 2020
Toggle navigation
Attending
Venue: Online
SPLASH 2020
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Program
SAS Program
Your Program
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Track/Call
Organization
SAS 2020 Committees
Organizing Committee
Track Committees
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Contributors
People Index
Search
Series
Series
SAS 2024
SAS 2023
SAS 2022
SAS 2021
SAS 2020
Sign in
Sign up
SPLASH 2020
(
series
) /
SAS 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
SPLASH 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
SPLASH 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
SPLASH Doctoral Symposium
Michael Schlichtig
07:45
35m
Doctoral symposium paper
A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]
supported by Facebook
SPLASH Doctoral Symposium
Arnab Sharma
University of Paderborn
09:00 - 10:20
Slot 2
SPLASH 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
SPLASH 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
SPLASH Doctoral Symposium
Raphael Mosaner
Johannes Kepler University Linz
Link to publication
DOI
11:00 - 12:20
Slot 3
SPLASH 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
SPLASH Doctoral Symposium
Lyan Alwakeel
11:40
30m
Talk
Thesis design and engineering tradeoffs [Invited Talk]
supported by Facebook
SPLASH Doctoral Symposium
Doug Lea
State University of New York (SUNY) Oswego
13:00 - 14:20
Slot 4
SPLASH 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
SPLASH Doctoral Symposium
Ben Hermann
Technical University Dortmund
Media Attached
File Attached
15:00 - 16:20
Slot 5
SPLASH 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
SPLASH Doctoral Symposium
Alastair F. Donaldson
Imperial College London
16:00
15m
Other
Round up by the academic panel
supported by Facebook
SPLASH Doctoral Symposium
16:15
5m
Day closing
Closing
supported by Facebook
SPLASH 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
SPLASH Doctoral Symposium
Slot 1
SPLASH Doctoral Symposium
Slot 2
SPLASH Doctoral Symposium
Slot 3
SPLASH Doctoral Symposium
Slot 4
SPLASH 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
Thu 21 Nov 13:16