CFP: ASE 2013 Workshops (Palo Alto US, Nov 2013)

ASE2013 <>
Thu, 25 Jul 2013 17:57:37 +0200

          From comp.compilers

Related articles
CFP: ASE 2013 Workshops (Palo Alto US, Nov 2013) (ASE2013) (2013-07-25)
| List of all articles for this month |

From: ASE2013 <>
Newsgroups: comp.compilers
Date: Thu, 25 Jul 2013 17:57:37 +0200
Organization: Compilers Central
Keywords: conference, CFP, tools
Posted-Date: 30 Jul 2013 09:00:53 EDT

                                                - ASE 2013 WORKSHOPS -

                  * JPF * RERS * MALIR-SE * SoftMine * MOMPES * TRANSFER *

28th IEEE/ACM International Conference on Automated Software Engineering

                          November 11-15, 2013, Silicon Valley, California



                                                JOINT CALL FOR PAPERS


      * The Java Pathfinder Workshop 2013

              Abstract: Jul 28
              Full Paper: Aug 01

      * RERS: Rigorous Examination of Reactive Systems Workshop

              Training Phase: May 21 - Jun 30
              Challenge Phase: Jul 05 - Sep 30

      * MALIR-SE: First International Workshop on Machine Learning and
          Information Retrieval for Software Engineering

              Abstract: Aug 01
              Full Paper: Aug 06

      * SoftMine: The Second International Workshop on Software Mining

              Full Paper: Aug 08

      * MOMPES: 9th International Workshop on Model-based Methodologies for
          Pervasive and Embedded Software

              Full Paper: Aug 08

      * TRANSFER: The International Workshop on Transfer Learning in
          Software Engineering

              Full Paper: Aug 18


      * Web:
      * Email:


                                      - Java Path Finder Workshop -


We solicit submissions for existing research, applications, work in
progress, and position papers on topics related to JPF or its
extensions. If the underlying research idea has been published in
another venue the paper needs to clarify the novel aspects that are
being presented in the paper. We also solicit comparative analysis
papers that evaluate algorithms in JPF or its extensions with relevant
tools. The goal of the workshop is to encourage the flow of ideas
relevant to JPF. The papers should be at most 5 pages long in the ACM
Proceedings format.

Accepted papers will be published in the ACM digital library.


        Peter Mehlitz, NASA Ames
        Neha Rungta, NASA Ames
        Willem Visser, U. Stellenbosch


                                                          - RERS -
                    Rigorous Examination of Reactive Systems Workshop

The RERS Challenge series aims at a systematic investigation,
evaluation, comparison, combination and improvement of any kind of
methods for the analysis and validation of reactive systems, be they
static, dynamic, black box or white box. Its second edition, the (RERS
Challenge 2012), focused on ECA systems, a popular class of reactive
systems, which comprises in particular Web services, decision support
systems, and programmable logical controllers (PLCs). Besides their
industrial relevance, ECA systems where chosen as they are on the one
hand fully 'white-box': the full Java/C code will be available, but one
the other hand have a black-box character: being simply one huge loop of
guarded commands, the ECA code structure essentially reveals nothing
about the implemented functionality. This property was meant to also
address competitors who base their validation on execution rather than
source code analysis.

The RERS Challenge 2013 builds on last year's experience. It involves
more complex code/data structures in order to attract source code
analyzers, and it explicitly addresses execution-based analyses by
providing black box and grey box scenarios. In particular the latter
scenarios are challenging as they profit most from the combination of
source code and execution-based analyses. We therefore hope to encourage
people working on areas as diverse as

* program analysis and verification,
* symbolic execution,
* software model checking,
* statistical model checking,
* model-based testing,
* inference of invariants,
* automata learning,
* run-time verification,
* monitoring,

to not only apply there 'home' methods, but to investigate how their
methods can be improved by combining them with others.


The RERS Challenge 2013 will provide a wealth of Benchmark problems of
increasing complexity, the more involved of which will probably be
beyond any individual state-of-the-art method or tool. A large set of
Benchmarks will be synthesized to exhibit chosen properties, and then
enhanced in an automated process to cover dedicated dimensions of
difficulty, including:

1. conceptual complexity of the exhibited properties (reachability,
        safety, liveness),
2. size of the systems (from a few hundred lines of code to millions
        of them), and
3. language features (arrays, indirect addressing, floating point
        arithmetics, virtual method calls, recursion).

Automatically generated problems will be presented

* white box: i.e. in Java and C,
* black box: as executables, not meant to be textually analyzed,
* grey box: a mixture thereof.

The challenge rules are essentially free style in order include as many
participants as possible. They have a numeric part, which allows for a
clear ranking in terms of number of correctly answered questions, and a
textual part, where competitors are supposed to describe the approach.
This part will be evaluated by the RERS committee. Details about the
ranking or evaluation method can be found here.

There are five price categories: white box, black box, grey box, overall
and for the best approach taken (which must not necessarily have scored
highest). In addition we will distribute achievement certificates for
solutions passing a specific threshold.


There will be an overall price and price for each kind, as well as a
price for the best conceptual contribution in form of a gift certificate
for Springer books sponsored by Springer. In addition there will be
certificates for the first three in each category, and achievement
certificates for every team passing the required threshold.

The teams with the best solutions in their categories will be invited
for a STTT Special Section summarizing the results of the challenge,
and, in particular, presenting the most advanced solutions.


Please refer to the website for further instructions:


        Corina Pasareanu, NASA Ames, USA
        Bernhard Steffen, Techinische Universitaet Dortmund, Germany


        Falk Howar, NASA Ames, USA


        Hasan Ibne Akram, Techinische Universitaet Dortmund, Germany
        Dirk Beyer, University of Passau, Germany
        Corina Pasareanu, NASA Ames, USA
        Bernhard Steffen, Techinische Universitaet Dortmund, Germany
        Markus Schordan, Lawrence Livermore National Laboratory, CA, USA
        Jaco van de Pol, University of Twente, The Netherlands
        Siccor Verwer, Radboud University Nijmegen, The Netherlands
        More PC members to be added!


                                                          - MALIR-SE -
                                        First International Workshop on
      Machine Learning and Information Retrieval for Software Engineering

The workshop aims at providing a forum for discussions about the
adoption of Machine Learning and Information Retrieval in software
maintenance and evolution, that is a forum to establish a roadmap about
the state-of-the-art as well as about future directions of the research
in these topics.

The workshop topics include all those concerning Machine Learning and
Information Retrieval in software evolution; in particular but not
limiting to:

* Using and defining Machine Learning and Information Retrieval
      techniques in all the phases of the software maintenance and evolution

* Evaluating and comparing Machine Learning and Information Retrieval
      techniques and tools

* New trends in adopting Machine Learning and Information Retrieval

* Combining Machine Learning and Information Retrieval techniques for
      software maintenance and evolution

* Exploring new needs in software evolution for applying Machine
      Learning and Information Retrieval

* Reporting lessons learned in applying Machine Learning and Information

* Identifying strengths and weaknesses of Machine Learning and
      Information Retrieval techniques

* Systematic reviews and surveys about the state-of-the-art practices
      for the application of Machine Learning and Information Retrieval

We plan for having a one-day discussion-oriented workshop. In
particular, we would like to include four types of sessions:

* Short position statements from authors of the accepted papers (10/15
      minutes) followed by preliminary discussion moderated by the
      organizers. We will give guidelines about structuring the position

* A short plenary session to define discussion themes from both the
      workshop theme and the interests of the participants, and split
      participants in breakout working groups

* A final plenary session at the end of the workshop will feature
      outcomes of the working groups, and outlook on next steps, including
      collaboration opportunities between academia and industry, and shared


We welcome submissions by two types: (i) technical and (ii) industrial
papers. All the papers have to be related to the topics of interest as
listed above.

Technical Papers

Technical papers (max 4 pages in the IEEE format). Full papers describe
new, ongoing and concluded research works in the field of interest for
the workshop. For example, a full paper might describe how machine
learning can be applied to analyze software artifacts during software
evolution tasks. Again, a full paper can describe case studies and
experiments in which Information Retrieval techniques have been applied
in real contexts.

Industrial Papers

Industrial papers (max 4 pages in the IEEE format). This kind of paper
should present experiences in the use of Machine Learning and
Information retrieval in software industry. For example, an industrial
paper might describe how machine learning techniques are applied and
empirically assessed to predict the effort to perform maintenance
operations. With respect to Information Retrieval techniques, an
industrial paper could present how these techniques have been applied
for the recovery of traceability links among software artifacts in the
contact of impact analysis.

All papers submitted to the workshop will be peer-reviewed by three
members of the Program Committee. Acceptance will be primarily based on
originality, contribution to the area, ability to generate discussion,
quality of the paper and of the research, research completeness and
maturity. Only original papers not submitted to journals or other
conferences will be considered.

Submit papers through EasyChair:


        Giuseppe Scanniello, Universita degli Studi della Basilicata, Italy
        Alessandro Marchetto, Fondazione Bruno Kessler, Italy
        Nasir Ali, Ecole Polytechnique de Montreal, Canada
        David Lo, Singapore Management University, Singapore
        Collin McMillan, School of Computer Science, University of Notre Dame


        Andrian Marcus, Wayne State University, USA
        Bram Adams, Ecole Polytechnique de Montreal, Canada
        Denys Poshyvanyk, The College of William and Mary
        Fabrizio Silvestri, ISTI, CNR, Italy
        Giuliano Antoniol, Ecole Polytechnique de Montreal, Canada
        Hongyu Zhang, Tsinghua University, China
        John Hosking, University of Auckland, New Zealand
        Jonathan I. Maletic, Kent State University, USA
        Sunghun Kim, Hong Kong University of Science and Technology
        Tim Menzies, West Virginia University, USA
        Yann-Gael Gueheneuc, Ecole Polytechnique de Montreal, Canada
        Rainer Koschke, Universitaet Bremen, Ge
        Michele Lanza, University of Lugano, Switzerland


                                                          - SoftMine -
                  The Second International Workshop on Software Mining

The workshop calls for research papers reporting original investigation
results, real-world applications and system development experience in
all aspects of software mining. The topics of the SoftwareMining-2013
submissions may roughly fall into four major aspects, including 1) Data
mining foundations for software analytics, 2) Software mining
techniques, 2) Mining practices on various types of software-related
data, and 3) Applications of data mining to facilitate specialized tasks
in software engineering. Topics of interest include but are not limited

A. Data mining foundations for software analytics
      A1. Emerging machine learning methods for software analytics
      A2. Predictive/descriptive modeling techniques for software analytics
      A3. Novel frequent pattern mining techniques for software analytics
      A4. Evolutionary computing techniques for software analytics
B. Software mining techniques
      B1. Software mining models and techniques
      B2. Robust and highly scalable algorithms for mining large scale
              software system
      B3. Understanding and visualizing software mining results
      B4. Noise-tolerant software mining
      B5. Privacy preserving software mining
C. Mining specific software data
      C1. Mining software specifications
      C2. Mining source code
      C3. Mining execution traces and logs
      C4. Mining change patterns and trends
      C5. Mining bug and crash reports
      C6. Mining natural language artifacts in software data
      C7. Mining developer-related artifacts
D. Software mining in specialized tasks
      D1. Mining for software defect identification and characterization
      D2. Mining for software testing and debugging
      D3. Mining for cost/effort estimation
      D4. Mining for software development and reuse
      D5. Mining for resource allocation
      D6. Mining for process control


Each submission should be no more than 8 pages total in length,
consisting of title, authors' names, postal and email addresses, an up
to 200-words abstract, up to 5 keywords, and a body with all contents,
figures, tables, and references. The format should be kept the same as
the ASE main track format. Additional information about formatting and
style files is available online at:

All manuscripts must be submitted electronically in a single PDF file
using the conference management tool. Please make sure that any special
fonts used are included in the submitted documents. Detailed
instructions will be available soon on the SoftwareMining-2013 website:

For accepted papers, authors are required to prepare their final
submissions for the workshop proceedings according to the reviewers'


        Ming Li, Nanjing University, China
        Hongyu Zhang, Tsinghua University, China
        David Lo, Singapore Management University, Singapore


        Mithun Acharya, ABB Research, USA
        Hong Cheng, The Chinese University of Hong Kong, China
        Jens Grabowski, University of Gottingen, Germany
        Shi Han, Microsoft Research Asia, China
        Steffen Herbold, University of Gottingen, Germany
        Lingxiao Jiang, Singapore Management University, Singapore
        Sunghun Kim, Hong Kong University of Science and Technology, China
        Jian-Guang Lou, Microsoft Research Asia, China
        Leonardo Mariani, University of Milan Bicocca, Italy
        Tim Menzies, West Virginia University, USA
        Leandro L. Minku, University of Birmingham, UK
        Tien N. Nguyen, Iowa State University, USA
        Lin Tan, University of Waterloo, Canada
        Min-Ling Zhang, Southeast University, China
        Xiangyu Zhang, Purdue University, USA
        Zhengyu Zhang, Institute of Software of CAS, China
        Thomas Zimmermann, Microsoft Research, USA


                                                            - MOMPES -
                                          9th International Workshop on
            Model-based Methodologies for Pervasive and Embedded Software

We are seeking for research papers and experience reports (max. 20
pages), as well as short and position papers (max. 6 pages). Submissions
must conform to the ACM SEN formatting guidelines and should be
submitted via EasyChair:

Submissions will be selected based on the relevance to the workshop
topics and the suitability to trigger interesting discussions. Each
paper will be reviewed by at least 3 members of the Programme Committee.

The workshop will have a strong emphasis on interaction among the
participants. Hence, we intend to use a combination of (1) paper
presentations with discussions on paper topics in the morning and (2) an
interactive session in the afternoon.

Accepted papers will be published in an ACM SIG newsletter. By
submitting, authors are granting permission for ACM to publish in print
and digital formats for the newsletter and the ACM archive. The authors
retain copyright as is the case with any ACM newsletter publication of
original material. The statement "Copyright is held by author." should
appear on the first page of each paper.

Download the full CfP in PDF format:


        Joao M. Fernandes, U Minho, PT
        Goetz Botterweck, LERO and U Limerick, IE
        Julia Rubin, IBM Research, Haifa, IL
        Rita Suzana Maciel, UF Bahia, BR


        Robert Baillargeon, SODIUS, US
        Leandro Buss Becker, UF Santa Catarina, BR
        Gaelle Calvary, U Joseph Fourier, FR
        Holger Giese, HPI Potsdam, DE
        Luis Gomes, UN Lisboa, PT
        Timo D. Hamalainen, TU Tampere, FI
        Chris Hankin, Imperial College, UK
        Luis Lamb, UFRGS, BR
        Pedro Jose Marron, U Duisburg-Essen, DE
        Elvinia Riccobene, U Milano, IT
        Pablo Sanchez, U Malaga, ES
        Oleg Sokolsky, U Pennsylvania, US
        Olaf Spinczyk, U Dortmund, DE
        Jonathan Sprinkle, U Arizona, US


                                                      - TRANSFER -
                                        The International Workshop on
                            Transfer Learning in Software Engineering

Why is generality so hard to find in software engineering? Do such
general principles exist (and we just have not found them yet)? Or are
we doomed to a perpetual revision of all our coding and management
practices for each new project? On this issue, we can identify two
feuding schools of thought. Globalists and localists use different
strategies for learning best practices. Globalists learn lessons once
from all data then reuse those lessons at multiple sites, whereas
localists learn best practices many times from local data and use them
only at a single site (which implies that project managers must devote
their scant resources to a "local lessons team" that pursues best local

This workshop will focus on the following issue: Whose strategy is best
for finding project-specific best practices: the globalists or the
localists? Or perhaps it is best to combine both approaches. It is
certainly important to learn best practices from past projects. However,
it is just as important to know how to transfer and adapt that
experience to current projects. No project is exactly like previous
projects -- hence, the trick is to find which parts of the past are most
relevant and can be transferred into the current project.


Topics of interest are theoretical foundations and practical approaches
related, but not limited, to the integration of the transfer learning
and software engineering. While our focus in on automatic methods, we
are also interested in hybrid human/computer methods.


We invite submissions in either of the following forms:

* Research papers presenting novel approaches with new research results
      (maximum 8 pages including references).

* Position papers describing new ideas not yet fully developed or
      preliminary tool support (maximum 4 pages including references).

Submitted papers must be written in English, should not have been
submitted for review or published elsewhere, and must conform to the ACM
SIG proceedings templates. Submissions are accepted via Easy Chair.
Submit your paper here:


Accepted papers will be published in the workshop proceedings and
available electronically via ACM Digital Library within its
International Conference Proceedings Series. Authors of best papers will
be invited to submit a revised and extended version of their papers to a
journal special issue.


        Tim Menzies, West Virginia University, USA


        Leandro Minku, The University of Birmingham, UK
        Ye Yang, Chinese Academy of Sciences, China


        Ayse Bener, Ryerson University
        David Bowes, University of Hertfordshire
        Filomena Ferrucci, University of Salerno
        Harald Gall, University of Zurich
        Gregory Gay, University of Minnesota
        Tracy Hall, Brunel University
        Jacky Keung, City University of Hong Kong
        Ekrem Kocaguneli, West Virginia University
        Chris Lokan, University of New South Wales
        Tim Menzies, West Virginia University
        Leandro Minku, The University of Birmingham
        Brendan Murphy, Microsoft Research
        Sinno Jialin Pan, Institute for Infocomm Research
        Federica Sarro, University College London
        Burak Turhan, University of Oulu
        Ye Yang, Chinese Academy of Sciences
        Qiang Yang, Hong Kong University of Science and Technology


        Fayola Peters, West Virginia University, USA


        Zhimin He, Chinese Academy of Sciences, China


        Leandro Minku, The University of Birmingham, UK

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.