SySEPL 2020
Mon 13 - Fri 17 July 2020 Online Conference
co-located with ECOOP 2020
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
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 1SPLASH 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 Organizerssupported 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
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 2SPLASH 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
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 3SPLASH 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
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 4SPLASH 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 5SPLASH 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 panelsupported by Facebook
SPLASH Doctoral Symposium

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

Room9:003010:003011:003012:003013:003014:0030
SPLASH-VI

Thu 19 Nov

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

Fri 20 Nov

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