[TYPES/announce] Final call: ASE '12 Tool Demonstrations

Ewen Denney ewen.w.denney at nasa.gov
Fri Apr 27 18:15:00 EDT 2012

Automated Software Engineering 2012: Final Call for Tool Demonstrations

[Tools based on typed-based formalisms that have applicability to some 
area of software engineering are welcome.]


Software Engineering is concerned with the analysis, design, 
implementation, testing, and maintenance of software systems. Automated 
software engineering focuses on how to automate these tasks in order to 
achieve improvements in quality and productivity. Tool support, 
therefore, is central to this. The 27th IEEE/ACM International 
Conference on Automated Software Engineering invites high-quality 
submissions for its tool demonstrations track.

The ASE tool demonstrations track provides an opportunity for 
researchers and practitioners to present and discuss the most recent 
advances, experiences, and challenges in the field of automated software 
engineering with the goal of allowing live presentation of new research 
tools. Tools can range from research prototypes to in-house or 
pre-commercialized products.

The tool demonstrations are intended to highlight underlying scientific 
contributions. Whereas a regular research paper is intended to give 
background information and point out the scientific contribution of a 
new software engineering approach, a tool demonstration paper provides a 
good opportunity to show how the scientific approach has been 
transferred into a working tool. Authors of regular research papers are 
thus encouraged to submit an accompanying tool demonstration paper.

The Tool Demonstration Committee will review each submission to assess 
the relevance and quality of the proposed tool demonstration in terms of 
usefulness of the tool, presentation quality, and appropriate discussion 
of related tools.

Accepted tool demonstrations will be allocated 4 pages in the conference 
proceedings. Demonstrators will be invited to give a presentation that 
will be scheduled into the conference program. There will also be a 
demonstration area open to attendees at scheduled times during the 
conference, during which demonstrators are expected to be available. 
Presentation at the conference is a requirement for publication.

Submissions of proposals for formal tool demonstrations must:

* adhere to the ASE 2012 proceedings format (ACM proceedings style)
* have a maximum of 4 pages that describe the technology or approach, 
how it relates to other industrial or research efforts, including 
references, and describe what the expected benefits are; in addition, 
the submissions can include an appendix 2 pages of screenshots.
* have an appendix (not included in the 4 page count) that provides a 
brief description of how the demonstration will be conducted (possibly 
illustrated with further screen shots)
* provide a URL from which the tool can be downloaded, with clear 
installation steps. If the tool cannot be made available, the authors 
must clearly state their reasons in the paper. All examples and 
scenarios presented in the paper and appendix should be replicable directly.
* be submitted via the EasyChair system by May 14, 2012:

Important Dates

Paper submission: May 14, 2012
Author notification: June 22, 2012
Camera-ready papers: July 9, 2012

Demonstration Chairs

Ewen Denney (SGT / NASA Ames)
Bernd Fischer (University of Southampton)

Contact:ase2012tools at easychair.org <mailto:ase2012tools at easychair.org>

Program Committee

David Aspinall (University of Edinburgh, Scotland)
Gilles Barthe (IMDEA, Spain)
Anthony Cleve (FUNDP Namur, Belgium)
Rohit Gheyi (Federal University of Campina Grande, Brazil)
Christoph Gladisch (Karlsruhe Institute of Technology, Germany)
Paul Gruenbacher (University of Linz, Austria)
Robert Hall (AT&T Labs Research, USA)
Reiko Heckel (University of Leicester, England)
John Hosking (ANU, Australia)
Andrew Ireland (Heriot-Watt University, Scotland)
Anjali Joshi (MathWorks, USA)
Jens Krinke (UCL, England)
Julia Lawall (INRIA Paris-Rocquencourt, France)
Michael Lowry (NASA Ames, USA)
John Penix (Google, USA)
Suresh Thummalapenta (IBM Research, India)
Daniel Varro (Budapest University of Technology and Economics, Hungary)
Michael Whalen (University of Minnesota, USA)
Andrea Zisman (City University, England)

More information about the Types-announce mailing list