[TYPES/announce] Modularity 2014 - Call for Papers

[danilo.ansaloni at usi.ch]

*** MODULARITY 2014 ***

13th International Conference on Modularity
April 22-26, 2014
Lugano, Switzerland
http://aosd.net/2014/

In cooperation with:
* ACM SIGSOFT
* ACM SIGPLAN


CALL FOR PAPERS - RESEARCH RESULTS TRACK

Modularity at the semantic as well as the syntactic level is a key
enabler for the expression of high quality software systems, because
one of the most important techniques for complexity reduction in any
context is separation of concerns. Novel concepts and abstraction
mechanisms including aspect-oriented techniques are a focus point for
improvements in the support for modularity. The scope of this effort
covers all perspectives on software systems in all their life-cycle
phases, for instance application domain analysis, programming language
constructs, formal proofs of system properties, program state
visualization in debuggers, performance improvements in compiler
algorithms, etc. As the premier international conference on
modularity, Modularity continues to advance our understanding of these
issues and the expressive power of known techniques.

The Modularity 2014 conference invites full, scholarly papers of the
highest quality on new ideas and results. Papers are expected to
contribute significant new research results with rigorous and
substantial validation of specific technical claims, based on
scientifically sound reflections on experience, analysis,
experimentation, or formal models. Compelling new ideas are especially
welcome, which means that the requirements in the areas of validation
and maturity are higher for papers that contribute more incremental
results.

Modularity 2014 is deeply committed to eliciting works of the highest
caliber. To this aim, two separate paper submission deadlines and
review stages are offered. A paper accepted in any round will be
published in the proceedings and presented at the conference.
Promising papers submitted in the first round that are not accepted
may be invited to be revised and resubmitted for review by the same
reviewers in the second round. Authors of such invited resubmissions
are asked to also submit a letter explaining the revisions made to the
paper to address the reviewers' concerns. While there is no guarantee
that an invited resubmission will be accepted, this procedure (similar
to major revisions requested by journals) is designed to help authors
of promising work get their papers into the conference. Submission to
both rounds is open for all, and authors who submit to the first round
may of course choose to resubmit a revised version in the second round
without such an invitation, in which case new reviewers may be
appointed. Finally, the same paper cannot be simultaneously submitted
to other conferences or journals. In case of doubt, please get in
touch with the Program Chair.


TOPICS

Topics of interest include, but are not limited to, the following:

* Varieties of modularity.
Context orientation; feature orientation; generative programming;
aspect orientation; software product lines; traits; families of
classes; meta-programming and reflection; components; view-based
development.

* Programming languages.
Support for modularity related abstraction in: language design;
verification, contracts, and static program analysis; compilation,
interpretation, and runtime support; formal languages and calculi;
execution environments and dynamic weaving; dynamic languages;
domain-specific languages.

* Software design and engineering.
Requirements and domain engineering; architecture; synthesis;
evolution; metrics and evaluation; empirical studies of existing
software; economics; testing and verification; semantics; composition
and interference; traceability; methodologies; patterns.

* Tools.
Crosscutting views; refactoring; evolution and reverse engineering;
aspect mining; support for new language constructs.

* Applications.
Data-intensive computing; distributed and concurrent systems;
middleware; service- oriented computing systems; cyber-physical
systems; networking; cloud computing; pervasive computing; runtime
verification; computer systems performance; system health monitoring;
enforcement of non-functional properties.

* Complex systems.
Finally, Modularity 2014 invites works that explore and establish
connections across disciplinary boundaries, bridging to such areas as
biology, economics, education, infrastructure such as buildings or
transport systems, and more.


IMPORTANT DATES

* July 25, 2013 (23:59 Baker Island / UTC-12)
First round - Submission

* September 14, 2013
First round - Notification

* October 13, 2013 (23:59 Baker Island / UTC-12)
Second round - Submission

* December 13, 2013
Second round - Notification

* February 17, 2014
Camera ready


SUBMISSION GUIDELINES

For formatting instructions including size constraints, please visit
http://aosd.net/2014/rrtrack.


PROGRAM COMMITTEE CHAIR

Erik Ernst, Aarhus University, Denmark


PROGRAM COMMITTEE

Sven Apel, University of Passau, Germany
Christoph Bockisch, University of Twente, The Netherlands
Eric Bodden, EC SPRIDE - Fraunhofer SIT & Technische Universität
Darmstadt, Germany
Yvonne Coady, University of Victoria, Canada
Cynthia Disenfeld, Technion, Israel
Ismael Figueroa, University of Chile, Chile
Pascal Fradet, Inria France
Lidia Fuentes, University of Málaga, Spain
Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro, Brazil
Stefan Hanenberg, Universität Duisburg-Essen, Germany
Klaus Havelund, Jet Propulsion Laboratory, USA
Andy Kellens, Vrije Universiteit Brussels, Belgium
Ralf Lämmel, Universität Koblenz-Landau, Germany
Julia Lawall, Inria/LIP6, France
Ana Moreira, Universidade Nova de Lisboa, Portugal
Jacques Noyé, Ecole des Mines de Nantes, France
Bruno C.d.S. Oliveira, National University of Singapore, Singapore
Hridesh Rajan, Iowa State University, USA
Awais Rashid, Lancaster University, UK
Guido Salvaneschi, Technische Universität Darmstadt, Germany
Ina Schaefer, Technische Universität Braunschweig, Germany
Alex Villazón, Universidad Privada Boliviana, Bolivia


EXTERNAL REVIEW COMMITTEE

Mehmet Aksit, University of Twente, The Netherlands
Walter Cazzola, Università degli Studi di Milano, Italy
Krzysztof Czarnecki, University of Waterloo, Canada
Atsushi Igarashi, Kyoto University, Japan
Viviane Jonckers, Vrije Universtiteit Brussel, Belgium
Shmuel Katz, Technion - Israel Institute of Technology, Israel
Gary T. Leavens, University of Central Florida, USA
Karl Lieberherr, Northeastern University, USA
Luigi Liquori, Inria Sophia Antipolis, France
Christian Prehofer, fortiss GmbH, Munich, Germany
Yannis Smaragdakis, University of Athens, Greece
Clemens Szyperski, Microsoft Research, USA
Eric Wohlstadter, University of British Columbia, Canada


OTHER EVENTS

In addition to the Research Results track, Modularity 2014 will host a
Modularity Visions track, workshops, demonstrations, an ACM Student
Research Competition, and a poster session. For more information about
these events, please visit http://aosd.net/2014/


CONTACT

For additional information feel free to contact the Program Committee Chair:
Erik Ernst, Aarhus University, Denmark
research-results at aosd.net