[ecoop-info] MODULARITY: aosd 2013 - Early Registration by Feb 24th

[Eric Bodden]

This is a kind reminder that early registration for AOSD 2014 ends on
February 24th. Register now to benefit from early-registration
discounts!

============================================================

     12th International Conference on Aspect-Oriented Software Development
                         MODULARITY: aosd 2013
                         http://aosd.net/2013
                          March 24-29, 2013
                            Fukuoka, Japan

============================================================

The full program is online and registration is open.

Deadline for early registration: February 24, 2013
See: http://aosd.net/2013

In cooperation with:
* ACM SIGSOFT
* ACM SIGPLAN

Sponsors:
* Microsoft Research
* Graduate School and Faculty of Information Science and Electrical
Engineering, Kyushu University
* Oracle Corporation
* Fukuoka Convention and Visitors Bureau
* Kayamori Foundation of Information Science Advancement
* Rakuten, Inc.
* VMware, Inc.
* Cybozu, Inc.

=======================================================================

Modularity transcending traditional abstraction boundaries is
essential for developing complex modern systems - particularly
software and software-intensive systems. Aspect-oriented and other new
forms of modularity and abstraction are attracting a lot of attention
across many domains within and beyond computer science. As the premier
international conference on modularity, AOSD continues to advance our
knowledge and understanding of separation of concerns, modularity, and
abstraction in the broadest senses of these terms.

MODULARITY: aosd•13 will comprise two main events: Research Results
and Modularity Visions. Both events invite full, scholarly papers of
the highest quality on new ideas and results in areas that include but
are not limited to complex systems, software design and engineering,
programming languages, cyber-physical systems, and other areas across
the whole system life cycle.

Research 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, or experimentation.

Modularity Visions papers are expected to present compelling new ideas
in modularity, including strong cases for significance, novelty,
validity, and potential impact based on thorough scholarly
argumentation and early results.

A summary of the program is provided below.

Please consult http://aosd.net/2013 for details and up-to-date
information.

We invite you to attend MODULARITY: aosd 2013!

=======================================================================
KEYNOTES AND INVITED TALKS
=======================================================================

* Takahiro Fujimoto (University of Tokyo)
  Product Architecture, Organizational Capability, and Design-based
  Comparative Advantage of Industries

* Kyo Chul Kang (Pohang University of Science and Technology)
  Modularity in the Context of Product Line Variability

* Steven P. Reiss (Brown University)
  Motherhood and Apple Pie: Modularity in Modern Applications and
  Tools to Support It

=======================================================================
RESEARCH RESULTS AND MODULARITY VISIONS PAPERS
=======================================================================

RESEARCH RESULTS:

Formal:

* Secure and Modular Access Control with Aspects, by Rodolfo Toledo, Eric Tanter
* A Typed Monadic Embedding of Aspects, by Nicolas Tabareau, Ismael
Figueroa, Eric Tanter
* Understanding Exceptional Behavior and Exception Flow in Implicit
Invocation Systems by Mehdi Bagherzadeh, Hridesh Rajan, Ali Darvish

Advances in Language Design:

* Method Slots: Supporting Methods, Events, and Advices by a Single
Language Construct, by YungYu Zhuang, Shigeru Chiba
* Context Traits: Dynamic Behaviour Adaptation Through Run-Time Trait
Recomposition, by Sebastian Gonzalez, Kim Mens, Marius Colacioiu,
Walter Cazzola

Verification and Debugging:

* Specification and Verification of Event Detectors and Responses, by
Cynthia Disenfeld, Shmuel Katz
* Past Expression: Encapsulating Pre-states at Post-conditions by
Means of AOP, by Jooyong Yi, Robby Robby, Xianghua Deng, Abhik
Roychoudhury
* A Pointcut Language for Setting Advanced Breakpoints, by Haihan Yin,
Christoph Bockisch, Mehmet Aksit

DSLs & Applications:

* Reify Your Collection Queries for Modularity and Speed!, by Paolo G.
Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann
Rendel, Christian Kästner
* Supporting Data Aspects in Pig Latin, by Curtis Dyreson, Omar
Florez, Akshay Thakre
* KFusion: Optimizing Data Flow without Compromising Modularity, by
Liam Kiemele, Celina Gibbs, Aaron Gulliver, Yvonne Coady

Modularity and Software Engineering:

* Enhancing Design Models with Composition Properties: A Software
Maintenance Study, by Francisco Dantas, Alessandro Garcia, Jon
Whittle, Joao Araujo
* Model-Driven Adaptive Delegation, by Phu H. Nguyen, Gregory Nain,
Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
* Refactoring Delta-Oriented Software Product Lines, by Oliver
Richers, Sandro Schulze, Ina Schaefer

Modularity and Software Architecture:

* Modular Specification and Checking of Structural Dependencies, by
Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela
Macia
* Using Roles to Model Crosscutting Concerns, by Fernando Sergio
Barbosa, Ademar Aguiar
* Aggregation for Implicit Invocations, by Sebastian Frischbier,
Alessandro Margara, Tobias Freudenreich, Patrick Eugster, David Eyers,
Peter Pietzuch

MODULARITY VISIONS:

* Reactive Behavior in Object-oriented Applications: an Analysis and
  a Research Roadmap, by Guido Salvaneschi and Mira Mezini

=======================================================================
INDUSTRY TRACK PAPERS
=======================================================================

* Semantically extensible editors in Groovy-Eclipse
  Andrew Eisenberg

* Spring Roo: A Bird's Eye View
  Naomi Harrington, Angela Rook, Celina Berg, Nieraj Singh and
  Yvonne  Coady

* Escodegen and Esmangle: Using Mozilla JavaScript AST as an IR
  Yusuke Suzuki

=======================================================================
WORKSHOPS
=======================================================================

A diverse set of workshops will be offered at AOSD 2013 during the
first two days of the conference. All workshops are included in the
registration fee. There will be six workshops at AOSD 2013:

Monday, March 25th 2013
* AOAsia/Pacific
* Modularity in Systems Software (MISS)
* Workshop on Comprehension of Complex Systems (CoCoS)
* Software Infrastructure as a Crosscutting Concern:
  Vision for the Future (SIaCC)

Tuesday, March 26th 2013
* Foundations of Aspect Oriented Languages (FOAL)
* Green in Software Engineering, Green by Software Engineering (GIBSE)
* Workshop on Variability and Composition (VariComp)

=======================================================================
DEMOS
=======================================================================

* Efficient Language Implementation with ALIA4J and EMFText
  Christoph Bockisch, Andreas Sewe

* Method Differentiator Using Slice-based Cohesion Metrics
  Akira Goto, Norihiro Yoshida, Masakazu Ioka, Eunjong Choi, Katsuro Inoue

* ENdoSnipe - Noninvasive DiagnosisTool for Java Systems
  Yusuke Ochiai

* A Brief Tour of Join Point Interfaces
  Eric Bodden, Éric Tanter, Milton Inostroza

* The Visual Contract Builder Tool and its Support for Large Modules
  Nuno Amálio, Christian Glodt

* TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design
  Jörg Kienzle

=======================================================================
CALL FOR POSTERS
=======================================================================

The Poster Event is always one of the most exciting and well attended
social events of the conference. It is a perfect opportunity for every
researcher - not only students - to present their work to conference
attendees while mingling in a social setting. Students that
participate in both the Student Forum and the Poster Event have the
added advantage of already knowing other participants. Do not miss out
on this opportunity to take your research to the next level, clarify
problem statements, vet solutions, identify evaluation methods or just
prepare for your dissertation.

You can still submit posters for consideration now, and are highly
encouraged to do so!

Due Date:          March 1st, 2013
Notification Date: March 2nd, 2013
                   or earlier for submissions before the due date
Format:        E-Mail with attached poster preview ISO A1
                   Portrait printout
Contact and
Submission to:   students at aosd.net

=======================================================================
STUDENT FORUM
=======================================================================

The Student Forum will take place on the Sunday preceding the
conference (March 24th) to allow students to meet other students
before the main conference begins. As in previous years, the Student
Forum will be an interactive format that allows students to interact
brainstorm innovative ways that AOSD research interests intersect.
Students will also have the opportunity to hear from and ask questions
of domain experts both in a panel and small group settings.

Please register for the student forum not later than March 15th, 2012.

Format: Informal E-Mail of Participant or via your AOSD Registration
Contact and Registration to:students at aosd.net

=======================================================================
STUDENT RESEARCH COMPETITION
=======================================================================

The selection committee for the ACM Student Research Competition chose
the following students, giving them the chance to present their work
at AOSD:

Graduate
* Ismael Figueroa (Univ. of Chile & INRIA)
  Towards Control of Aspect Interference using Membranes and Monads
* Haihan Yin (Univ. of Twente)
  A Graphical Tool for Observing State and Behavioral Changes at
  Join Points
* Aibek Sarimbekov (Univ. of Lugano)
  Comparison of Instrumentation Techniques for Dynamic Program Analysis
  on the Java Virtual Machine
* Cynthia Disenfeld (Technion)
  User-Friendly Event and Aspect Verification
* Kazunori Sakamoto (Waseda Univ.)
  A Framework for Analyzing and Transforming Source Code Supporting
  Multiple Programming Languages
* Kazuhiro Yamashita (Kyushu Univ.)
  Modular Construction of an Analysis Tool for Mining Software Repositories
* Wakana Takeshita (The Univ. of Tokyo)
  Method Shells: controlling a scope of destructive class extensions
  by context switches
* Kazuhiro Ichikawa (Tokyo Institute of Technology)
  Powerful and seamless syntax extensions on a statically typed
  language

Undergraduate
* Junhee Cho (KAIST)
  Rewriting JavaScript Module System


=======================================================================
ORGANIZING COMMITTEE
=======================================================================


* General Chair:
  Hidehiko Masuhara, The University of Tokyo
* Organizing Co-Chairs:
  Shigeru Chiba, The University of Tokyo
  Naoyasu Ubayashi, Kyushu University
* Research Results Chair:
  Jörg Kienzle, McGill University
* Modularity Visions Co-Chairs:
  Elisa Baniassad, Australian National University
  David Lorenz, The Open University of Israel
* Industry Track Co-Chairs:
  Andrew Eisenberg, VMware
  Tomoji Kishi, Waseda University
* Workshop Co-chairs:
  Tomoyuki Aotani, Japan Advanced Institute of Science and Technology
  Phil Greenwood, Lancaster University
* Demonstrations and BoFs Co-chairs:
  Walter Binder, University of Lugano
  Charles Zhang, Hong Kong University of Science and Technology
* Student Event Co-chairs:
  Christoph Bockisch, University of Twente
  Atsushi Igarashi, Kyoto University
* Publicity Chair:
  Eric Bodden, EC SPRIDE / Technische Universitat Darmstadt
* Student Volunteer and Web Chair:
  Yasutaka Kamei, Kyushu University
* Design:
  Fuminobu Takeyama, Tokyo Institute of Technology
* Organizing members:
  Tetsuo Kamina, The University of Tokyo
  Yoshiki Sato, The University of Tokyo