For more information, including a helpful FAQ, please visit liveprog.org.

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.

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, and insightful and clearly articulated experience reports, demos of historic systems, 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.

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 21 Oct

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

09:00 - 10:30
Morning OneLIVE at Pacific B
09:00
30m
Day opening
Welcome & Opening
LIVE
Peter van Hardenberg Ink & Switch, Geoffrey Litt Ink & Switch, Joshua Horowitz University of Washington
09:30
30m
Keynote
Keynote by Jonathan Edwards
LIVE
Jonathan Edwards Independent
10:00
30m
Talk
Definitions and Dimensions of Liveness
LIVE
Joshua Horowitz University of Washington
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:30 - 16:00
Coffee BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Afternoon TwoLIVE at Pacific B
16:00
15m
Talk
Diff-based interactive compiler debugging and testing
LIVE
Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
Link to publication
16:15
15m
Talk
Example-driven development: bridging tests and documentation
LIVE
Oscar Nierstrasz feenk.com, Andrei Chiş feenk.com, Tudor Gîrba feenk.com
Link to publication DOI
16:30
15m
Talk
Live Programming a Live Programming Environment: An Experience Report
LIVE
Elliot Evans Polytope, Philippa Markovics Nextjournal, Martin Kavalar Nextjournal, Andrea Amantini Nextjournal, Jack Rusher Nextjournal
16:45
15m
Talk
Run, Build and Grow Small Systems Without Leaving Your Text Editor
LIVE
Albert Zak UAS Technikum Wien (2020-2024), Independent (2024-), Karl M. Göschka UAS Technikum Wien
17:00
15m
Talk
TAPE: From direct to programmatic and back
LIVE
Ian Clester Georgia Institute of Technology
17:15
15m
Day closing
Closing & Farewell
LIVE
Peter van Hardenberg Ink & Switch, Geoffrey Litt Ink & Switch, Joshua Horowitz University of Washington

Call for Submissions

The LIVE 2024 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 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://live24.hotcrp.com/paper/new and are due on July 7, 2024. Notifications of acceptance will be sent by August 16, 2024.