[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy

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

Title
Language Hacking in a Live Programming Environment
LIVE
Pre-print
Live end-user programming: a demo/manifesto
LIVE
Pre-print
Live Literals
LIVE
Pre-print
Liveness for Verification
LIVE
Pre-print Media Attached
Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
LIVE
Pre-print
Live Programming with Code Portals
LIVE
Media Attached
Live Tuning: Expanding Live Programming Benefits to Non-Programmers
LIVE
Pre-print
Sintr: Experimenting with liveness at scale
LIVE
Pre-print
Towards Live Language Development
LIVE
Pre-print

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.

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

Sun 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45
WinterLIVE at Foscolo
08:45
60m
Talk
The Promise of Live Programming
LIVE
Sean McDirmid Microsoft Research
Pre-print
10:05 - 12:25
SpringLIVE at Foscolo
10:05
20m
Talk
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
20m
Talk
Towards Live Language Development
LIVE
Gabriël Konat TU Delft, Sebastian Erdweg TU Delft, Eelco Visser Delft University of Technology
Pre-print
10:45
20m
Talk
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
20m
Talk
Live end-user programming: a demo/manifesto
LIVE
Jonathan Edwards CDG Labs, Jodie Chen MIT, Alessandro Warth HARC / Y Combinator Research
Pre-print
11:35
50m
Other
Discuss: New Interfaces for Programming
LIVE
Roly Perera University of {Glasgow, Edinburgh}
13:50 - 15:20
SummerLIVE at Foscolo
13:50
20m
Talk
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
20m
Talk
Live Literals
LIVE
Tijs van der Storm CWI, Felienne Hermans Delft University of Technology
Pre-print
14:30
20m
Talk
Liveness for Verification
LIVE
Roly Perera University of {Glasgow, Edinburgh}, Simon J. Gay
Pre-print Media Attached
14:50
30m
Other
Live Lightning Talks
LIVE
16:00 - 18:20
FallLIVE at Foscolo
16:00
50m
Talk
Leveraging live programming in the classroom — an experience report
LIVE
Alessandro Warth HARC / Y Combinator Research
File Attached
16:50
20m
Talk
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
20m
Talk
Sintr: Experimenting with liveness at scale
LIVE
Luke Church , Mariana Marasoiu University of Cambridge, Alan Blackwell University of Cambridge
Pre-print
17:30
50m
Other
Discuss: Live Programming, Live Coding, and Intelligence Amplification
LIVE
Sean McDirmid Microsoft Research, Jun Kato National Institute of Advanced Industrial Science and Technology, Japan