SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Online /

Room information: SPLASH-VI

VenueOnline
Room nameSPLASH-VI
Room InformationNo extra information available
Program

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 TalksLIVE 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 ILIVE 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 IILIVE 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 DomainsHATRA 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 PlanningHATRA 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 1Doctoral Symposium at SPLASH-VI
Chair(s): Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University
07:00
10m
Day opening
Introduction and Welcome from the Organizerssupported 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 2Doctoral 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 3Doctoral 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 4Doctoral 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 5Doctoral 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 panelsupported by Facebook
Doctoral Symposium

16:15
5m
Day closing
Closingsupported 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

Room9:003010:003011:003012:003013:003014:0030
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

Room13:003014:003015:003016:0030
SPLASH-VI

HATRA

Novices and Application Domains

HATRA

Research Agenda Planning

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
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

Room13:0015304514:0015304515:0015304516:00153045
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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
SPLASH-VI
SPLASH Doctoral Symposiumsupported by Facebook
Introduction and Welcome from the Organizers
07:00 - 07:10
SPLASH Doctoral Symposiumsupported by Facebook
Improving User Experience of Static Analysis Tools [ECOOP DS]
07:10 - 07:45
SPLASH Doctoral Symposiumsupported by Facebook
A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]
07:45 - 08:20
SPLASH Doctoral Symposiumsupported by Facebook
Gradual Value-Dependent Information Flow Control [SPLASH DS]
09:00 - 09:35
SPLASH Doctoral Symposiumsupported by Facebook
Machine Learning to Ease Understanding of Data Driven Compiler Optimiza ...
09:40 - 10:15
SPLASH Doctoral Symposiumsupported by Facebook
Model-Driven Development of Mobile Applications [ECOOP DS]
11:00 - 11:35
SPLASH Doctoral Symposiumsupported by Facebook
Thesis design and engineering tradeoffs [Invited Talk]
11:40 - 12:10
SPLASH Doctoral Symposiumsupported by Facebook
Self-Marketing as a Researcher [Invited Talk]
13:00 - 13:50
SPLASH Doctoral Symposiumsupported by Facebook
Metamorphic Testing of Android Graphics Drivers [Invited Talk]
15:00 - 16:00
SPLASH Doctoral Symposiumsupported by Facebook
Round up by the academic panel
16:00 - 16:15
SPLASH Doctoral Symposiumsupported by Facebook
Closing
16:15 - 16:20