Welcome to LIVE 2016, a workshop on live programming systems |
Slack will be used during the workshop. If you plan to attend, please email smcdirm@microsoft.com so we can send you an invite.
Live programming systems abandon the traditional edit-compile-run cycle in favor of fluid user experiences that encourages powerful new ways of “thinking to code” and enables programmers to see and understand their program executions. Programming today requires much mental effort with broken stuttering feedback loops: programmers carefully plan their abstractions, simulating program execution in their heads; the computer is merely a receptacle for the resulting code with a means of executing that code. Live programming aims to create a tighter more fluid feedback loop between the programmer and computer, allowing the computer to augment more of the programming process by, for example, allowing programmers to progressively mine abstractions from concrete examples and providing continuous feedback about how their code will execute. Meanwhile, under the radar of the PL community at-large, a nascent community has formed around the related idea of “live coding”—live audiovisual performances which use computers and algorithms as instruments and include live audiences in their programming experiences. This workshop focuses on exploring notions and degrees of live programming as they relate to development, creative activities, learning, and performance. We are interested in methodologies, tools, demos, infrastructures, language designs, and questions that stimulate interest and understanding in live programming.
Following up on the success of the first LIVE workshop at ICSE 2013, LIVE 2016 solicits high quality submissions on live programming and will discuss how to move forward with this topic to enable better programming experiences.
Accepted Papers
Call for Papers
LIVE 2016 aims to bring together people who are interested in live programming. Live programming systems abandon the traditional edit-compile-run cycle in favor of fluid user experiences that encourage powerful new ways of “thinking to code” and enable programmers to see and understand their program executions. Programming today requires much mental effort with broken stuttering feedback loops: programmers carefully plan their abstractions, simulating program execution in their heads; the computer is merely a receptacle for the resulting code with a means of executing that code. Live programming aims to create a tighter more fluid feedback loop between the programmer and computer, allowing the computer to augment more of the programming process by, for example, allowing programmers to progressively mine abstractions from concrete examples and providing continuous feedback about how their code will execute. Meanwhile, under the radar of the PL community at large, a nascent community has formed around the related idea of “live coding”—live audiovisual performances which use computers and algorithms as instruments and include live audiences in their programming experiences.
We encourage short research papers, position papers, web essays, tool demonstrations (as videos), and performance proposals in areas such as:
- Recent work in REPLs, language environments , code playgrounds, and interactive notebooks.
- Live visual programming.
- Programming by example.
- Programming tools for creative experiences and interactive audio visual performances.
- Live programming as a learning aid.
- Fluid debugging experiences
- Language design in support of the above.
Submissions will go through EasyChair. Papers and essays must be written in English and provided as PDF documents. As a recommendation, papers should be around 5 pages (using SIGPLAN Format 10pt font) and videos should be 5-10 minutes in length; other non-paper submissions should consume no more than 30 minutes of a casual reader’s time. However, papers up to 10 pages and videos up to 20 minutes are also welcome, as well as very short papers and videos. Video and non-paper submissions can by listed as URLs (e.g. to a web page, file locker, or streaming site) in the submission’s abstract. At the author’s discretion, workshop articles can be published using an institutional ISBN with full support for open access.
Any questions or trouble with submitting, please contact smcdirm@microsoft.com.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:45 | |||
08:45 60mTalk | The Promise of Live Programming LIVE Sean McDirmid Microsoft Research Pre-print |
10:05 - 12:25 | |||
10:05 20mTalk | Language Hacking in a Live Programming Environment LIVE Patrick Dubroy HARC / Y Combinator Research, Saketh Kasibatla Communications Design Group / UCLA, Meixian Li Communications Design Group / Y Combinator Research, Marko Röder HARC / Y Combinator Research, Alessandro Warth HARC / Y Combinator Research Pre-print | ||
10:25 20mTalk | Towards Live Language Development LIVE Pre-print | ||
10:45 20mTalk | Live Programming with Code Portals LIVE Alexander Breckel Institute of Software Engineering and Compiler Construction, Matthias Tichy Chalmers University of Technology Media Attached | ||
11:15 20mTalk | Live end-user programming: a demo/manifesto LIVE Pre-print | ||
11:35 50mOther | Discuss: New Interfaces for Programming LIVE Roly Perera University of {Glasgow, Edinburgh} |
13:50 - 15:20 | |||
13:50 20mTalk | Live Programming by Example: Using Direct Manipulation for Live Program Synthesis LIVE Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz Pre-print | ||
14:10 20mTalk | Live Literals LIVE Pre-print | ||
14:30 20mTalk | Liveness for Verification LIVE Pre-print Media Attached | ||
14:50 30mOther | Live Lightning Talks LIVE Jonathan Edwards CDG Labs |
16:00 - 18:20 | |||
16:00 50mTalk | Leveraging live programming in the classroom — an experience report LIVE Alessandro Warth HARC / Y Combinator Research File Attached | ||
16:50 20mTalk | Live Tuning: Expanding Live Programming Benefits to Non-Programmers LIVE Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Masataka Goto National Institute of Advanced Industrial Science and Technology, Japan Pre-print | ||
17:10 20mTalk | Sintr: Experimenting with liveness at scale LIVE Pre-print | ||
17:30 50mOther | Discuss: Live Programming, Live Coding, and Intelligence Amplification LIVE Sean McDirmid Microsoft Research, Jun Kato National Institute of Advanced Industrial Science and Technology, Japan |