Where UX meets PL
Programming is cognitively demanding, and 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 materialize 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 workshops. 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 generalize 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, insightful and clearly articulated experience reports, theoretical papers that propose and verify generalized principles, literature reviews, and position papers are also welcome.
Our goal is to provide a supportive venue where early-stage work receives constructive criticism. Whether graduate students or tenured faculty, researchers need a forum to discuss new ideas and get helpful feedback from their peers. Towards that end, we will allot about ten minutes for discussion after every presentation.
Tue 6 DecDisplayed time zone: Auckland, Wellington change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering and Social Events |
10:30 - 12:00 | Keynote, Talks I, and IntroductionsLIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego | ||
10:30 60mKeynote | Searching for LifeIn-personKeynote LIVE Peter van Hardenberg Ink & Switch | ||
11:30 20mTalk | Potluck: dynamic documents as personal softwarePre-recorded LIVE | ||
11:50 10mSocial Event | Introductions LIVE |
12:00 - 13:30 | |||
13:30 - 15:00 | Talks IILIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego | ||
13:30 10mShort-paper | Docable: Towards a Live Learning EnvironmentVirtual LIVE | ||
13:40 10mShort-paper | System-Specific Interpreters Make Megasystems FriendlierIn-person LIVE Matthew Sotoudeh Stanford University Link to publication | ||
13:50 20mTalk | Tidyparse: Real-Time Context Free Error CorrectionIn-person LIVE Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada | ||
14:10 20mTalk | Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction SystemIn-person LIVE Yoshiki Ohshima Croquet Corporation, Shizuoka University, Aran Lunzer Croquet Corporation, Vanessa Freudenberg Croquet Corp, Brian Upton , David Smith | ||
14:30 20mShort-paper | Cascade: a Meta-Language for Change, Cause and EffectVirtual LIVE Riemer van Rozen CWI Pre-print |
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering and Social Events |
15:30 - 17:00 | Talks IIILIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego | ||
15:30 10mShort-paper | Education-aware Interactive Machine Teaching: Training Autonomous Game AgentsVirtual LIVE Chunqi Zhao , I-Chao Shen , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Takeo Igarashi The University of Tokyo | ||
15:40 10mShort-paper | Flowie, a Collaborative Projection EditorIn-person LIVE | ||
15:50 20mTalk | Meta-programmable functional notebooks with LivebookPre-recorded LIVE José Valim Dashbit | ||
16:10 20mTalk | Live 2D Compositional ProgrammingIn-person LIVE Michael Homer Victoria University of Wellington Link to publication | ||
16:30 20mTalk | Ampleforth: A Live Literate EditorVirtual LIVE Gilad Bracha F5 |
Talks
Call for Submissions
The LIVE 2022 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 2022 is a hybrid conference and invites submissions for both in-person and remote presentations. LIVE welcomes demonstrations of novel programming systems, experience reports, theories that propose and verify generalized principles, literature reviews, 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
- theoretical frameworks for characterizing 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.
Submissions must be made at https://live22.hotcrp.com/paper/new and are due on Thursday September 1st. Notifications of acceptance will be sent by Thursday September 29th.