[TYPES/announce] CFP: ASE '12 Tool Demonstrations

Ewen Denney Ewen.W.Denney at nasa.gov
Fri Mar 2 17:34:46 EST 2012

Automated Software Engineering 2012: 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 
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

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
* 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120302/9fec3714/attachment-0001.html>

More information about the Types-announce mailing list