ICSE 2014 Call for Papers - Formal Demonstrations

Formal Demonstrations

The objective of the ICSE 2014 Formal Demonstrations Track is to excite the software engineering community about new advances in our field through compelling demonstrations that help advance research and practice. The track is a highly interactive venue where researchers and practitioners can demonstrate their tools and data sets and discuss them with attendees.

Tool-based demonstrations describe novel aspects of early prototypes or mature tools. The tool demonstrations must communicate clearly the following information to the audience:

  • the envisioned users;
  • the software engineering challenge it proposes to address;
  • the methodology it implies for its users; and
  • the results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.

Data set-based demonstrations, which must be based on publicly available data sets, must communicate:

  • the rationale behind the collection of the data;
  • the process through which the data set was obtained and curated;
  • the high-level model conceptualizing the data set; and
  • how the data set has been used and what other potential uses can be envisioned for it.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional ICSE research papers. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including details such as implementation and usage issues, data models and representations, APIs for tool and data access. Authors of regular research papers are thus also encouraged to submit an accompanying demonstration paper.


Each submission will be reviewed by at least three members of the demonstrations selection committee. The evaluation criteria include:

  • the relevance of the proposed demonstration for the ICSE audience;
  • the technical soundness of the demonstrated tool (for a tool demo);
  • the usefulness of the demonstrated data analysis (for a data-set demo);
  • the originality of its underlying ideas;
  • the quality of its presentation in the associated video; and
  • the degree to which it considers the relevant literature.

How to Submit

Submissions must conform to the ICSE 2014 formatting and submission instructions. In particular, submissions of formal demonstrations papers must meet the following criteria.

  • A demonstration submission may not exceed four pages (including all text, references and figures).
  • Each submission MUST be accompanied by a short video (between three and five minutes long) illustrating the demonstration. The video should be made available online at the time of submission. Videos should (i) provide an overview of the tool’s capabilities and/or dataset characteristics; (ii) walk through (some of) the tool capabilities and/or data analysis process; (iii) where appropriate, provide clarifying voice-over and/or annotation highlights; and (iv) be engaging and exciting for the watcher!
  • A submission may not have been previously published in a demonstration form.
  • The paper submission must be in PDF.

Papers must be submitted electronically at the ICSE submission site by November 22, 2013. At the end of the abstract (both in your submitted PDF and in the EasyChair textbox), please append the URL at which your demo video can be found. Please note that for consistency we require that ALL videos be uploaded to YouTube and made accessible during the time of reviewing. Authors of successful submissions will have the opportunity to revise both the paper and the video (and its hosting location) by the camera-ready deadline (March 14, 2014).

For examples of previously successful short videos, please see the following:

Formal Demonstrations must be submitted electronically at https://www.easychair.org/conferences/?conf=icse2014demo. For further information, please email icse14demo@gmail.com.

Important Dates

Submission deadline: November 22, 2013
Notification deadline: February 17, 2014
Camera ready copy deadline: March 14, 2014

Track Co-Chairs

John Grundy, Swinburne University of Technology
Anita Sarma, University of Nebraska, Lincoln
Formal Demonstrations Selection Committee Members
View the complete PC member list here.

Formatting and submission instructions

Please review the submission and formatting instructions carefully. Submissions that do not comply with the instructions and size limits will be rejected without review.