Talk recordings are on our YouTube channel.
Where UX meets PL
Programming is cognitively demanding, and way too difficult. LIVE is a workshop exploring new user interfaces that improve the immediacy, usability, and learnability of programming. Whereas PL research traditionally focuses on programs, LIVE focuses more on the activity of programming.
Themes
Programmers don’t materialise programs out of thin air, but construct them out of existing programs. Embracing this insight leads to a different focus at LIVE compared to traditional PL conferences. Here are some of the qualities that we care about:
-
Live. Live programming systems give the programmer immediate feedback on the output of a program as it is being edited, replacing the edit-compile-debug cycle with a fluid programming experience. Liveness can also mean providing feedback about how the static meaning of the program is changing, such as its type.
-
Structured. A program is highly structured and meaningful to the programmer, even in traditionally invalid states. “Structure-aware” programming environments understand and preserve that structure, and allow operations at the level of the structure, rather than at the level of raw text.
-
Tangible. In the traditional view of programs, execution takes place behind the scenes, and leaves little record of what happened. We are interested in programming systems that make execution transparent, tangible and explorable.
-
Concrete. People find it easier to start with concrete examples and generalise afterwards. Programming tools tailored to people will support this mode of working.
The majority of LIVE submissions are demonstrations of novel programming systems. Technical papers, and insightful and clearly articulated experience reports, literature reviews, and position papers are also welcome.
Keynote
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
07:00 - 08:20 | |||
07:00 80mKeynote | Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication |
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
09:00 - 10:20 | Keynote & Short TalksLIVE at SPLASH-VI Chair(s): Roly Perera The Alan Turing Institute/University of Bristol | ||
09:00 60mKeynote | Liveliness, Reactivity, and Interactivity in the Future of Notebook Programming LIVE Media Attached | ||
10:00 10mTalk | 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 10mTalk | Toward Providing Live Feedback in Web Automation IDEs LIVE Media Attached |
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
11:00 - 12:20 | |||
11:00 20mTalk | NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks LIVE Media Attached | ||
11:20 20mTalk | Mito: Edit a spreadsheet. Generate production ready Python. LIVE Media Attached | ||
11:40 20mTalk | 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 20mTalk | Exploring Human-in-the-loop Program Synthesis with Live Coding LIVE Mark Santolucito Barnard College, Columbia University, USA Media Attached |
12:20 - 13:00 | Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
| ||
12:20 40mPoster | Student Research Competition Student Research Competition |
13:00 - 14:20 | Full Talks IILIVE at SPLASH-VI Chair(s): Roly Perera The Alan Turing Institute/University of Bristol | ||
13:00 20mTalk | Sketchable Interaction - End-User Customization via Interactive Regions LIVE Media Attached | ||
13:20 20mTalk | Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations LIVE Media Attached | ||
13:40 20mTalk | ManipML: Towards Bimodal Tangible Functional Programming LIVE Media Attached | ||
14:00 20mDay closing | Wrap-up Discussion and Feedback LIVE Media Attached |
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
19:00 - 20:20 | |||
19:00 80mKeynote | Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication |
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) |
Not scheduled yet
Not scheduled yet Social Event | LIVE Social II LIVE | ||
Not scheduled yet Social Event | LIVE Social I LIVE |
Accepted Submissions
Call for Submissions
The LIVE 2020 workshop invites submissions of ideas for improving the immediacy, usability, and learnability of programming. Live programming gives the programmer immediate feedback on the behavior of a program as it is edited, replacing the edit-compile-debug cycle with a fluid programming experience. The best-known example of live programming is the spreadsheet, but there are many others.
LIVE welcomes demonstrations of novel programming systems, experience reports, literature reviews, demos of historic systems, and position papers. Topics of interest include:
- live programming environments
- visual programming
- structure-aware editors
- advances in REPLs, notebooks and playgrounds
- programming with typed holes, interactive programming
- programming by example/demonstration
- bidirectional programming
- debugging and execution visualization techniques
- language learning environments
- alternative language semantics or paradigms in support of the above
- frameworks for characterising technical or experiential properties of live programming
LIVE provides a forum where early-stage work will receive constructive criticism. Submissions may be short papers, web essays with embedded videos, or demo videos. A written 250 word abstract is required for all submissions. Videos should be up to 20 minutes long, and papers up to 6 pages long. Use concrete examples to explain your ideas. Presentations of programming systems should take care to situate the work within the history of such tools.
While LIVE welcomes early work and exploratory work, authors may optionally choose to have their work considered for inclusion in the workshop proceedings. (Details coming soon.)