‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy

<Programming> 2019 solicits proposals for demos related to the topics of the conference. The goal of the demo session is to facilitate exchange and provide a platform for authors to showcase their work in live sessions. Accepted demos will be presented in parallel with the main conference on April 3 and, if needed, on April 4.

Accepted Demos

Title
A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Demos
Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching
Demos
Developing Distributed Systems with ScalaLoci
Demos
LiveTyping in Action - Automatic Type Annotation for Dynamically Typed Languages
Demos
Programming Experiences with a Live Programming Environment for Data Structures
Demos
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Demos
Tooling for live big data applications
Demos

Call for Demos

Proposals for demos can include, but are not limited to:

  • demonstrations of research prototypes and proofs of concept,
  • tool tutorials,
  • demonstrations of commercial or in-house applications,
  • live coding sessions,
  • and performances.

We especially encourage authors of accepted papers to co-located workshops and the main conference to also submit a demo proposal. We hope that this will give them the opportunity to show their work in action, and increase the visibility of their results.

Submission

Submission link: https://goo.gl/forms/gEloHGraOlnbkxBg2

Every submission must include:

  • a demo title,
  • a description of the demo, including a statement on the intended audience (150-300 words),
  • the names and affiliations of the authors,
  • and the proposed demo duration.

For accepted demos, the demo title, abstract, and presenters will be listed on the website. They will not be published in the ACM DL.

Optionally, a link to a (short) video or screenshots can be submitted to support the proposal.

Only the basic demonstration set-up (a suitably sized room with a table, projector, screen, electrical power, and a generally available wireless network connection) will be provided. Any special needs or requirements for the demonstration, e.g., additional equipment, room set-up, or a wired network connection, must be communicated at submission time, and the Demo Chair will advise the submitters if it is possible to fulfill those requirements.

The presenter(s) must be registered for the conference only (April 3-4) or the full conference (April 1-4). The early registration deadline ends on February 25. If this is an issue (e.g., because attendance depends on the acceptance of the demo), please contact the Demo Chair (Manuel Rigger, rigger.manuel@gmail.com).

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

Wed 3 Apr

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

13:45 - 15:30
DemosDemos at Bellini
13:45
30m
Talk
A Language-Parametric Toolchain for Mining Idiomatic Code Patterns
Demos
Johan Fabry Raincode Labs, Belgium, Vadim Zaytsev Raincode Labs, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Siegfried Nijssen UC Louvain, Hoang Son Pham UC Louvain, Coen De Roover Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Tim Molderez Vrije Universiteit Brussel
14:15
30m
Talk
Quickref: Auto-Documenting the Common Lisp Ecosystem
Demos
Didier Verna EPITA / LRDE
14:45
45m
Talk
Programming Experiences with a Live Programming Environment for Data Structures
Demos
Hidehiko Masuhara Tokyo Institute of Technology, Akio Oka Tokyo Institute of Technology, Tomoki Ogushi Tokyo Tech
16:00 - 17:30
DemosDemos at Bellini
16:00
30m
Talk
Developing Distributed Systems with ScalaLoci
Demos
Pascal Weisenburger Technische Universität Darmstadt
16:30
30m
Talk
Static Verification of JavaScript: IDE Support for Debugging Verification Issues
Demos
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz
17:00
30m
Talk
Tooling for live big data applications
Demos
Matteo Marra Vrije Universiteit Brussel