Call for Papers: Modularity'15 Research Results

--===============7386035744217665817==
Content-Type: multipart/alternative; boundary=089e013d14a46ccf3f04fbb8cf65

--089e013d14a46ccf3f04fbb8cf65
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

  Call for Papers: Modularity '15 Research Results
         March 16-19, 2015, Ft. Collins, Colorado, USA

First round due date: August 4, 2014. Second round due date: October 10,
2014.

Modularity is a key property for scalability of software processes,
including debugging, maintenance, reasoning, and testing. Modularity
influences system diversity, dependability, performance, evolution, the
structure and the dynamics of the organizations that produce systems, human
understanding and management of systems, and ultimately system value. Yet
the nature of and possibilities for modularity, limits to modularity, the
mechanisms needed to achieve it in given forms, and its costs, benefits,
and tradeoffs remain poorly understood. Significant advances in modularity
thus are possible and promise to yield breakthroughs in our ability to
conceive, design, develop, validate, integrate, and evolve modern
information systems and their underlying software artifacts.

Modularity at the semantic as well as the syntactic level is a key enabler
for the expression of high quality software systems. One of the most
important techniques for complexity reduction is abstraction. Novel
concepts and abstraction mechanisms, including but not limited to
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'15 continues to advance our
understanding of these issues and the expressive power of known techniques.

The Modularity'15 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'15 is deeply committed to publishing 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 contact the Program
Chair.

Research Topics

Modularity'15 is looking for papers in all areas of software modularity.
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 modular abstraction in: language
design; verification, specification, 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: 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.

* Composition. Component-based software engineering; Composition and
adaptation techniques; Composition algebras, calculi, and type systems;
Model-driven composition; Dynamic composition and reconfiguration;
Large-scale component-based systems; Cloud, service-oriented architectures;
Business process orchestration; Visual composition environments;
Performance optimization of composite systems.


Important Dates

* First round:
Submission: August 4, 2014 (23:59 Baker Island / UTC-12)
Notification: September 14, 2014

* Second round:
Submission: October 10, 2014 (23:59 Baker Island / UTC-12)
Notification: December 7, 2014

* Camera ready: February 15, 2015

Submission Guidelines

Modularity'15 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.
All submissions must conform to both the ACM Policy on Prior Publication
and Simultaneous Submissions and the SIGPLAN Republication Policy.

Papers are to be submitted electronically to CyberChair.

Please use http://cyberchairpro.borbala.net/modularitypapers/submit/ to
submit your paper. Submissions should use the SIGPLAN Proceedings Format
using 9 point font. Please include page numbers in your submission as this
will be helpful for the reviewers and also for you when reading their
reviews. (If your submission is written using LaTeX, please set the
preprint option in the LaTeX \documentclass command to generate page
numbers.) Please also ensure that your submission is legible when printed
on a black and white printer. In particular, please check that colors
remain distinct and font sizes are legible.

To ensure that papers stay focused on their core contributions, the main
part of the paper should be no longer than 12 pages. There is a 4 page
limit for appendices, and, therefore, for the overall submission must be
less than 16 pages. If the paper is accepted, the final submission will be
limited to 16 pages, including appendices.

However, it is the responsibility of the authors to keep the reviewers
interested and motivated to read their submission. Reviewers are under no
obligation to read all or even a substantial portion of a paper if they do
not find the initial part of the paper compelling. The committee will not
accept a paper if it is unclear that the paper will fit in the
Modularity'15 Proceedings.

All submitted papers are peer-reviewed. Accepted papers from all tracks
will appear in the Modularity'15 Proceedings in the ACM Digital Library.
Submissions will be judged on the potential impact of the ideas and the
quality of the presentation.

Program Committee Chair
Gary T. Leavens, University of Central Florida, USA ([email protected])

Program Committee

Don Batory, University of Texas at Austin
Eric Bodden, Fraunhofer SIT and TU Darmstadt
Paulo Borba, Federal University of Pernambuco
Walter Cazzola, Universit=C3=A0 degli Studi di Milano
Cynthia Disenfeld, Technion -- Israel Institute of Technology
Robert Dyer, Bowling Green State University
Erik Ernst, Aarhus University
Matthew Flatt, University of Utah
Michael Haupt, Oracle Labs
Marieke Huisman, University of Twente
Cristina Lopes, University of California Irvine
Tiziana Margaria, University of Potsdam
Linda Northrop, Software Engineering Institute
Nate Nystrom, University of Lugano
Bruno C. d. S. Oliveira, The University of Hong Kong
Awais Rashid, Lancaster University
Henrique Reb=C3=AAlo, Federal University of Pernambuco
Martin Rinard, Massachusetts Institute of Technology
Norbert Siegmund, University of Passau
Murali Sitaraman, Clemson University
Kevin Sullivan, University of Virginia

External Review Committee

Marsha Chechik, University of Toronto
Steven Edwards, Virginia Tech.
Dan Grossman, University of Washington
G=C3=B6rel Hedin, Lund University
Mira Mezini, TU Darmstadt
Peter M=C3=BCller, ETH Zurich
Hridesh Rajan, Iowa State University
Clemens Szyperski, Microsoft Research
=C3=89ric Tanter, University of Chile
Eelco Visser, Delft University of Technology

For additional information, clarification, or answers to questions please
contact the Program Committee Chair.

--089e013d14a46ccf3f04fbb8cf65
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><span class=3D"" style=3D"white-space:pre">		</span>=
=C2=A0Call for Papers: Modularity &#39;15 Research Results</div><div><span =
class=3D"" style=3D"white-space:pre">	</span>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =
=C2=A0March 16-19, 2015, Ft. Collins, Colorado, USA</div>
<div><br></div><div>First round due date: August 4, 2014. Second round due =
date: October 10, 2014.</div><div><br></div><div>Modularity is a key proper=
ty for scalability of software processes, including debugging, maintenance,=
 reasoning, and testing. Modularity influences system diversity, dependabil=
ity, performance, evolution, the structure and the dynamics of the organiza=
tions that produce systems, human understanding and management of systems, =
and ultimately system value. Yet the nature of and possibilities for modula=
rity, limits to modularity, the mechanisms needed to achieve it in given fo=
rms, and its costs, benefits, and tradeoffs remain poorly understood. Signi=
ficant advances in modularity thus are possible and promise to yield breakt=
hroughs in our ability to conceive, design, develop, validate, integrate, a=
nd evolve modern information systems and their underlying software artifact=
s.</div>
<div><br></div><div>Modularity at the semantic as well as the syntactic lev=
el is a key enabler for the expression of high quality software systems. On=
e of the most important techniques for complexity reduction is abstraction.=
 Novel concepts and abstraction mechanisms, including but not limited to as=
pect-oriented techniques, are a focus point for improvements in the support=
 for modularity. The scope of this effort covers all perspectives on softwa=
re systems in all their life-cycle phases, for instance application domain =
analysis, programming language constructs, formal proofs of system properti=
es, program state visualization in debuggers, performance improvements in c=
ompiler algorithms, etc. As the premier international conference on modular=
ity, Modularity&#39;15 continues to advance our understanding of these issu=
es and the expressive power of known techniques.</div>
<div><br></div><div>The Modularity&#39;15 conference invites full, scholarl=
y papers of the highest quality on new ideas and results. Papers are expect=
ed to contribute significant new research results with rigorous and substan=
tial validation of specific technical claims, based on scientifically sound=
 reflections on experience, analysis, experimentation, or formal models. Co=
mpelling new ideas are especially welcome, which means that the requirement=
s in the areas of validation and maturity are higher for papers that contri=
bute more incremental results.</div>
<div><br></div><div>Modularity&#39;15 is deeply committed to publishing wor=
ks of the highest caliber. To this aim, two separate paper submission deadl=
ines and review stages are offered. A paper accepted in any round will be p=
ublished in the proceedings and presented at the conference. Promising pape=
rs 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 roun=
d. Authors of such invited resubmissions are asked to also submit a letter =
explaining the revisions made to the paper to address the reviewers&#39; co=
ncerns. While there is no guarantee that an invited resubmission will be ac=
cepted, this procedure (similar to major revisions requested by journals) i=
s designed to help authors of promising work get their papers into the conf=
erence. Submission to both rounds is open for all, and authors who submit t=
o 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 b=
e appointed. Finally, the same paper cannot be simultaneously submitted to =
other conferences or journals. In case of doubt, please contact the Program=
 Chair.</div>
<div><br></div><div>Research Topics</div><div><br></div><div>Modularity&#39=
;15 is looking for papers in all areas of software modularity. Topics of in=
terest include, but are not limited to, the following:</div><div><br></div>
<div>* Varieties of modularity: Context orientation; feature orientation; g=
enerative programming; aspect orientation; software product lines; traits; =
families of classes; meta-programming and reflection; components; view-base=
d development.</div>
<div><br></div><div>* Programming languages: Support for modular abstractio=
n in: language design; verification, specification, and static program anal=
ysis; compilation, interpretation, and runtime support; formal languages an=
d calculi; execution environments and dynamic weaving; dynamic languages; d=
omain-specific languages.</div>
<div><br></div><div>* Software design and engineering: Requirements and dom=
ain engineering; architecture; synthesis; evolution; metrics and evaluation=
; empirical studies of existing software; economics; testing and verificati=
on; semantics; composition and interference; traceability; methodologies; p=
atterns.</div>
<div><br></div><div>* Tools: Crosscutting views; refactoring; evolution and=
 reverse engineering; aspect mining; support for new language constructs.</=
div><div><br></div><div>* Applications: Data-intensive computing; distribut=
ed and concurrent systems; middleware; service- oriented computing systems;=
 cyber-physical systems; networking; cloud computing; pervasive computing; =
runtime verification; computer systems performance; system health monitorin=
g; enforcement of non-functional properties.</div>
<div><br></div><div>* Complex systems: Works that explore and establish con=
nections across disciplinary boundaries, bridging to such areas as biology,=
 economics, education, infrastructure such as buildings or transport system=
s, and more.</div>
<div><br></div><div>* Composition. Component-based software engineering; Co=
mposition and adaptation techniques; Composition algebras, calculi, and typ=
e systems; Model-driven composition; Dynamic composition and reconfiguratio=
n; Large-scale component-based systems; Cloud, service-oriented architectur=
es; Business process orchestration; Visual composition environments; Perfor=
mance optimization of composite systems.</div>
<div><br></div><div><br></div><div>Important Dates</div><div><br></div><div=
>* First round:</div><div>Submission: August 4, 2014 (23:59 Baker Island / =
UTC-12)</div><div>Notification: September 14, 2014</div><div><br></div>
<div>* Second round:</div><div>Submission: October 10, 2014 (23:59 Baker Is=
land / UTC-12)</div><div>Notification: December 7, 2014</div><div><br></div=
><div>* Camera ready: February 15, 2015</div><div><br></div><div>Submission=
 Guidelines</div>
<div><br></div><div>Modularity&#39;15 is deeply committed to eliciting work=
s of the highest caliber. To this aim, two separate paper submission deadli=
nes and review stages are offered. A paper accepted in any round will be pu=
blished in the proceedings and presented at the conference. Promising paper=
s submitted in the first round that are not accepted may be invited to be r=
evised and resubmitted for review by the same reviewers in the second round=
. Authors of such invited resubmissions are asked to also submit a letter e=
xplaining the revisions made to the paper to address the reviewers&#39; con=
cerns. While there is no guarantee that an invited resubmission will be acc=
epted, this procedure (similar to major revisions requested by journals) is=
 designed to help authors of promising work get their papers into the confe=
rence. 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 o=
ther conferences or journals. In case of doubt, please get in touch with th=
e Program Chair.</div>
<div>All submissions must conform to both the ACM Policy on Prior Publicati=
on and Simultaneous Submissions and the SIGPLAN Republication Policy.</div>=
<div><br></div><div>Papers are to be submitted electronically to CyberChair=
.</div>
<div><br></div><div>Please use <a href=3D"http://cyberchairpro.borbala.net/=
modularitypapers/submit/">http://cyberchairpro.borbala.net/modularitypapers=
/submit/</a> to submit your paper. Submissions should use the SIGPLAN Proce=
edings Format using 9 point font. Please include page numbers in your submi=
ssion as this will be helpful for the reviewers and also for you when readi=
ng their reviews. (If your submission is written using LaTeX, please set th=
e preprint option in the LaTeX \documentclass command to generate page numb=
ers.) Please also ensure that your submission is legible when printed on a =
black and white printer. In particular, please check that colors remain dis=
tinct and font sizes are legible.</div>
<div><br></div><div>To ensure that papers stay focused on their core contri=
butions, the main part of the paper should be no longer than 12 pages. Ther=
e is a 4 page limit for appendices, and, therefore, for the overall submiss=
ion must be less than 16 pages. If the paper is accepted, the final submiss=
ion will be limited to 16 pages, including appendices.</div>
<div><br></div><div>However, it is the responsibility of the authors to kee=
p the reviewers interested and motivated to read their submission. Reviewer=
s are under no obligation to read all or even a substantial portion of a pa=
per if they do not find the initial part of the paper compelling. The commi=
ttee will not accept a paper if it is unclear that the paper will fit in th=
e Modularity&#39;15 Proceedings.</div>
<div><br></div><div>All submitted papers are peer-reviewed. Accepted papers=
 from all tracks will appear in the Modularity&#39;15 Proceedings in the AC=
M Digital Library. Submissions will be judged on the potential impact of th=
e ideas and the quality of the presentation.</div>
<div><br></div><div>Program Committee Chair</div><div>Gary T. Leavens, Univ=
ersity of Central Florida, USA (<a href=3D"mailto:[email protected]">leave=
[email protected]</a>)</div><div><br></div><div>Program Committee</div><div><br=
>
</div><div>Don Batory, University of Texas at Austin</div><div>Eric Bodden,=
 Fraunhofer SIT and TU Darmstadt</div><div>Paulo Borba, Federal University =
of Pernambuco</div><div>Walter Cazzola, Universit=C3=A0 degli Studi di Mila=
no</div>
<div>Cynthia Disenfeld, Technion -- Israel Institute of Technology</div><di=
v>Robert Dyer, Bowling Green State University</div><div>Erik Ernst, Aarhus =
University</div><div>Matthew Flatt, University of Utah</div><div>Michael Ha=
upt, Oracle Labs</div>
<div>Marieke Huisman, University of Twente</div><div>Cristina Lopes, Univer=
sity of California Irvine</div><div>Tiziana Margaria, University of Potsdam=
</div><div>Linda Northrop, Software Engineering Institute</div><div>Nate Ny=
strom, University of Lugano</div>
<div>Bruno C. d. S. Oliveira, The University of Hong Kong</div><div>Awais R=
ashid, Lancaster University</div><div>Henrique Reb=C3=AAlo, Federal Univers=
ity of Pernambuco</div><div>Martin Rinard, Massachusetts Institute of Techn=
ology</div>
<div>Norbert Siegmund, University of Passau</div><div>Murali Sitaraman, Cle=
mson University</div><div>Kevin Sullivan, University of Virginia</div><div>=
<br></div><div>External Review Committee</div><div><br></div><div>Marsha Ch=
echik, University of Toronto</div>
<div>Steven Edwards, Virginia Tech.</div><div>Dan Grossman, University of W=
ashington</div><div>G=C3=B6rel Hedin, Lund University</div><div>Mira Mezini=
, TU Darmstadt</div><div>Peter M=C3=BCller, ETH Zurich</div><div>Hridesh Ra=
jan, Iowa State University</div>
<div>Clemens Szyperski, Microsoft Research</div><div>=C3=89ric Tanter, Univ=
ersity of Chile</div><div>Eelco Visser, Delft University of Technology</div=
><div><br></div><div>For additional information, clarification, or answers =
to questions please contact the Program Committee Chair.</div>
<div><br></div></div>

--089e013d14a46ccf3f04fbb8cf65--


--===============7386035744217665817==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

__________________________________________________
Announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki
--===============7386035744217665817==--