[Pl-seminar] CFP: ASE 2013 Workshops
ASE2013
invitation at ira.uka.de
Thu Jul 25 11:57:37 EDT 2013
- 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
(http://ase2013.org)
========================================================================
JOINT CALL FOR PAPERS
SUBMISSION DEADLINES:
* 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
MORE INFORMATION:
* Web: http://ase2013.org/workshops.html
* Email: ase2013workshops at easychair.org
========================================================================
- Java Path Finder Workshop -
(http://ti.arc.nasa.gov/events/jpf-workshop-2013)
CALL FOR SUBMISSIONS:
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.
PROGRAM CHAIRS:
Peter Mehlitz, NASA Ames
Neha Rungta, NASA Ames
Willem Visser, U. Stellenbosch
========================================================================
- RERS -
Rigorous Examination of Reactive Systems Workshop
(http://rers-challenge.org)
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.
CHALLENGE PROBLEMS:
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.
REWARDS:
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.
PARTICIPATION AND SUBMISSION:
Please refer to the website for further instructions:
http://rers-challenge.org/index.php
PC CHAIRS:
Corina Pasareanu, NASA Ames, USA
Bernhard Steffen, Techinische Universitaet Dortmund, Germany
ORGANISATION CHAIR:
Falk Howar, NASA Ames, USA
PROGRAM COMMITTEE:
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
(http://factrace.net/malir-se2013)
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
Retrieval
* 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
techniques
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
statements
* 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
publications
PAPER SELECTION CRITERIA AND MECHANISM
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:
https://www.easychair.org/conferences/?conf=malirsease2013
ORGANIZING COMMITTEE
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
PROGRAM COMMITTEE
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
(http://lamda.nju.edu.cn/conf/softwaremining13)
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
to:
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
PUBLICATION AND PAPER SUBMISSION:
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:
http://www.conference-publishing.com/Instructions.php?Event=ASE13
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:
http://lamda.nju.edu.cn/conf/softwaremining13
For accepted papers, authors are required to prepare their final
submissions for the workshop proceedings according to the reviewers'
suggestions.
CO-CHAIRS:
Ming Li, Nanjing University, China
Hongyu Zhang, Tsinghua University, China
David Lo, Singapore Management University, Singapore
PROGRAM COMMITTEE:
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
(http://www3.di.uminho.pt/mompes/2013)
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:
http://www.easychair.org/conferences/?conf=mompes2013
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:
http://www3.di.uminho.pt/mompes/2013/2013-MOMPES-CfP.pdf
ORGANIZING COMMITTEE:
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
PROGRAMME COMMITTEE:
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
(http://promisedata.org/transfer/13)
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
practices).
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
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.
PAPER SUBMISSION
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:
https://www.easychair.org/conferences/?conf=transfer13
PROCEEDINGS & SPECIAL ISSUE
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.
GENERAL CHAIR
Tim Menzies, West Virginia University, USA
PROGRAM CHAIRS
Leandro Minku, The University of Birmingham, UK
Ye Yang, Chinese Academy of Sciences, China
PROGRAM COMMITTEE
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
PUBLICATIONS CHAIR
Fayola Peters, West Virginia University, USA
PUBLICITY AND SOCIAL MEDIA CHAIR
Zhimin He, Chinese Academy of Sciences, China
WEBMASTER
Leandro Minku, The University of Birmingham, UK
More information about the pl-seminar
mailing list