aspectj-announce

[aspectj-announce] Software Infrastructure as A Crosscutting Concern Workshop at AOSD 2013

rc256@xxxxxxx (Ruzanna Chitchyan) — Wed, 28 Nov 2012 14:45:52 GMT

CFP: Software Infrastructure as A Crosscutting Concern: Vision for Future (SIaCC)
Workshop at AOSD 2013, March 25/26, Fukuoka, Japan

Website URL: http://lamp-lbi-34.rcs.le.ac.uk/workshop

OVERVIEW:
Functioning of modern society is deeply dependant on various types of infrastructure, such as water supply, transportation, energy and communication.
Each utility infrastructure (such as water or communication) is, in fact, a complex system made up of numerous sub-systems, most of which comprise a critical software element, such as, for control, operation, or security and safety provision.
Yet, software itself (along with the physical counterpart for its operation) is an infrastructure. This software infrastructure is already supporting an ever-growing set of services and, gradually, replacing what previously would have been delivered via other forms of infrastructure. For instance, the lion’s share of monetary transactions in developed countries is carried out via ICT infrastructure. Online shopping has become a norm, music, books, and films are becoming almost entirely software products themselves. This in turn has implications on the city planning (many retail shops are closing down!), transportation, and road infrastructure. Even healthcare and socialising are moving from physical into digital world.

This workshop aims to initiate a discussion on broad topics of software as a crosscutting infrastructure, envision the future with service provision centred around the software infrastructure, identify and discuss the current and future (both software engineering, and broader) issues that either facilitate or prevent this vision.

TOPICS on software as an infrastructure, including, but not limited to:
+ Examples of software as a crosscutting infrastructure:
++ What are the peculiarities of software infrastructure vs. other forms (e.g., transportation, energy);
++How can software infrastructure be distinguished from those it crosscuts?
+ Problems/issues arising with software becoming a critical infrastructure that crosscuts other utility infrastructures:
++Will failure in software infrastructure be a “single point of failure”?
++Will this improve or deteriorate other infrastructure assets?

+ Understanding what requirements a software should fulfil to become a fully formed type of utility (e.g., on par with water and electricity):
+ Software Engineering design and implementation ramifications of software moving into a central infrastructure role:

++Do we have adequate development techniques
++Do we have adequate failure detection/prevention support
+Social impact of the transition of software into infrastructure:

As the first workshop in this space, this even will set up an initial research agenda. Problems for this agenda will be elicited from the workshop submissions, group discussions, and imagination sessions.

SUBMISSIONS
We invite submissions of extended abstracts and short papers on the broad set of issues related to software as a crosscutting infrastructure. All submissions must be in standard ACM SIG Proceedings format (see http://www.acm.org/sigs/publications/proceedings-templates).
Extended abstracts should not exceed 2 pages. Short papers should not exceed 4 pages.
Each submission will be reviewed by 2 members of the workshop PC.
Submissions should be sent to the workshop organisers via email (rc256_at_leicester_dot_ac_dot_uk).

PARTICIPATION
Paper/abstract submission is strongly encouraged for workshop participation. However, non-submitting participants will also be welcomed, if space is available.

All submissions will be posted on the workshop website to initiate discussion before the workshop itself.
The workshop itself will comprise of a number of highly interactive discussion and imagination sessions. The workshop will work on preparation of a research agenda on topics of Software as a Crosscutting Infrastructure.

IMPORTANT DATES:
+ Workshop Paper submission deadline: 17th January 2013,
+ Workshop Paper notification date: 28th January 2013,
+ Workshop Paper camera-ready deadline: 18th February 2013.

Program Committee:
Mehmet Aksit, University of Twente, The Netherlands
Christoph Bockisch, University of Twente, The Netherlands
Joby Boxall, University of Sheffield, UK
Ruzanna Chitchyan, University of Leicester, UK
Robert France, Colorado State University, USA (to be confirmed)
Tom Grant, University of Leicester, UK
Ana Moreira, New University of Lisboan, Portugal
Harold Ossher, BM Thomas J. Watson Research Center, USA
Liz Varga, Cranfield Univesity, UK

Website URL: http://lamp-lbi-34.rcs.le.ac.uk/workshop

PROCEEDINGS:
The workshop proceedings will be included into the ACM digital

[aspectj-announce] Call For Papers: RV 2012

qadeer@xxxxxxx (Shaz Qadeer) — Mon, 07 May 2012 22:03:52 GMT

International Conference on Runtime Verification (RV 2012)

September 25 - 28, 2012

Istanbul, Turkey

at the Koc University Research Center for Anatolian Civilizations in Pera

http://rv2012.ku.edu.tr/

SCOPE

Runtime verification is concerned with monitoring and analysis of

software and hardware system executions. Runtime verification

techniques are crucial for system correctness and reliability; they

are significantly more powerful and versatile than conventional

testing, and more practical than exhaustive formal

verification. Runtime verification can be used prior to deployment,

for verification and debugging purposes, and after deployment for

ensuring reliability, safety and security, and for providing fault

containment and recovery. Topics of interest to the conference

include:

- specification languages and formalisms for traces

- specification mining

- program instrumentation

- monitor construction techniques

- logging, recording, and replay

- fault detection, localization, recovery and repair

- program steering and adaptation

- metrics and statistical information gathering

- combination of static and dynamic analyses

- program execution visualization

Application areas of runtime verification include safety-critical

systems ranging from enterprise and systems software, to autonomous

and reactive control systems, to health management and diagnosis

systems, to security.

HISTORY

The RV series of events started in 2001, as an annual workshop. The

RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV

proceedings have been published in LNCS. In year 2010, RV became an

international conference. Links to past RV events can be found at the

permanent URL http://runtime-verification.org.

INVITED SPEAKERS

- Jim Larus (Principal Researcher, Microsoft Research)

- Martin Rinard (Professor, Department of Electrical Engineering and Computer Science, MIT)

- Giovanni Vigna (Professor, Department of Computer Science, UCSB)

INVITED TUTORIALS

- Stephen N. Freund, John Erickson and Madan Musuvathi: Dynamic analysis of concurrency

- Cristian Cadar and Koushik Sen: Symbolic execution

PAPER SUBMISSION

RV will have three paper categories: regular and short papers, and tool

demonstration papers. Papers in all categories will be reviewed by the

conference Program Committee.

- Regular papers (up to 15 pages) should present original unpublished

results. Applications of runtime verification are particularly

welcome. A Best Paper Award will be offered.

- Short papers (up to 5 pages) may present novel but not necessarily

thoroughly worked out ideas, for example emerging runtime verification

techniques and applications, or techniques and applications that

establish relationships between runtime verification and other

domains. Accepted short papers will be presented in special short talk

(5-10 minutes) and poster sessions.

- Tool demonstration papers (up to 5 pages) should briefly introduce

the problem solved by the tool and give the outline of the

demonstration. A Best Tool Award will be offered.

All accepted papers, including short papers and tool papers, will appear

in the LNCS proceedings. Submitted papers must use the LNCS style. At

least one author of each accepted paper must attend RV'12 to present the

paper. Papers must be submitted electronically using the EasyChair system.

A link to the electronic submission page will be made available on the

RV'12 web page.

IMPORTANT DATES

May 27, 2012 - Abstract submission

June 3, 2012 - Paper submission

July 29, 2012 - Author notification

August 19, 2012 - Camera-ready

September 25, 2012 - Tutorial Day

September 26-28, 2012 - Conference

ORGANIZERS

General Chair:

Serdar Tasiran (Koc University, Istanbul, Turkey)

Program Chair:

Shaz Qadeer (Microsoft Research, Redmond, WA, USA)

PROGRAMME COMMITTEE

Howard Barringer, Manchester University

Saddek Bensalem, VERIMAG

Eric Bodden, EC SPRIDE

Cristian Cadar, Imperial College

Ylies Falcone, University of Grenoble

Bernd Finkbeiner, Saarland University

Stephen Freund, Williams College

Ganesh Gopalakrishnan, University of Utah

Wolfgang Grieskamp, Google

Sylvain Halle, Universite du Quebec a Chicoutimi

Klaus Havelund, NASA Jet Propulsion Laboratory

Suresh Jagannathan, Purdue University

Sarfraz Khurshid, University of Texas at Austin

Martin Leucker, University of Luebeck

Benjamin Livshits, Microsoft

Shan Lu, University of Wisconsin

Rupak Majumdar, MPI-SWS

Oded Maler, VERIMAG

Sharad Malik, Princeton University

Atif Memon, University of Maryland

Peter Muller, ETH Zurich

Shaz Qadeer, Microsoft

Venkatesh-Prasad Ranganath, Microsoft

Vivek Sarkar, Rice University

Koushik Sen, University of California at Berkeley

Oleg Sokolsky, University of Pennsylvania

Serdar Tasiran, Koc University

Stavros Tripakis, University of California at Berkeley

Martin Vechev, ETH Zurich

Willem Visser, Stellenbosch University

Zheng Zhang, Microsoft

[aspectj-announce] MODULARITY: aosd.2012 - Call for Participation!!! (Early registration February 20th)

pinto@xxxxxxx (Mónica Pinto) — Thu, 16 Feb 2012 09:33:34 GMT

<< CALL FOR PARTICIPATION >>

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

11th International Conference on Aspect-Oriented Software Development

MODULARITY: aosd 2012

http://aosd.net/2012

March 25-30, 2012

Hasso-Plattner-Institut Potsdam, Germany

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

The full program is online and registration is open.

Deadline for early registration: February 20, 2012

See: http://aosd.net/2012

In cooperation with:

* ACM SIGSOFT

* ACM SIGPLAN

Sponsors:

* Oracle

* SAP Innovation Center Potsdam

* Microsoft Research

* AOSD-Europe

* AOSA

* Hasso-Plattner-Institut Potsdam

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

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 significant attention across

many domains, both within and beyond computer science. As the premier

international conference on modularity, AOSD continues to advance our

understanding of separation of concerns, modularity, and abstraction in

the broadest senses of these terms.

The 2012 AOSD conference will comprise Research Results and Modularity

Visions. Both categories invited full, scholarly papers of the highest

quality on new ideas and results in areas that included but were not

limited to complex systems, software engineering, languages, cyber-

physical systems, and other areas across the whole system life cycle.

Research Results papers 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 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/2012 for details and up-to-date

information.

We invite you to attend MODULARITY: aosd 2012!

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

KEYNOTES AND INVITED TALKS

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

* Martin C. Rinard (MIT)

What To Do When Things Go Wrong: Recovery in Complex (Computer) Systems

* James O. Coplien (Gertrud & Cope)

Objects of the People, for the People, and by the People

* James O. Coplien (Gertrud & Cope)

A Tour of the Data-Context-Interaction Paradigm

* Cristina Videira Lopes (UCI)

Aspects as Latent Topics

* Lars Bak (Google)

Implementing Language Based Virtual Machines

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

RESEARCH RESULTS AND MODULARITY VISIONS PAPERS

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

The Research Track captures state-of-the-art research occurring in

AOSD. A broad range of topics will be presented throughout the

conference. The paper titles for AOSD 2012 are as follows:

* [RR] Separation of Concerns in Feature Modeling: Support and Applications

Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France

* [RR] Intraprocedural Dataflow Analysis for Software Product Lines

Claus Brabrand, Marcio Ribeiro, Tarsis Toledo, Paulo Borba

* [MV] Features and Object Capabilities: Reconciling Two Visions of

Modularity

Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi

* [RR] Two-Way Traceability and Conflict Debugging for AspectLTL Programs

Shahar Maoz, Yaniv Sa'ar

* [RR] A Debug Interface for Debugging Multiple Domain Specific Aspect

Languages

Yoav Apter, David Lorenz, Oren Mishali

* [RR] A Complete Debugger for Aspect-Oriented Programming

Haihan Yin, Christoph Bockisch, Mehmet Aksit

* [RR] A Monadic Interpretation of Execution Levels and Exceptions for AOP

Nicolas Tabareau

* [RR] Adaptable Generic Programming with Required Type Specifications and

Package Templates

Eyvind W. Axelsen, Stein Krogdahl

* [MV] Do We Really Need to Extend Syntax for Advanced Modularity?

Shigeru Chiba, Michihiro Horie, Kei Kanazawa, Fuminobu Takeyama,

Yuuki Teramoto

* [RR] A Closer Look at Aspect Interference and Cooperation

Cynthia Disenfeld, Shmuel Katz

* [RR] Management of Feature Interactions with Transactional Regions

Thomas Cottenier, Aswin Van Den Berg, Thomas Weigert

* [RR] Method Shelters: Avoiding Conflicts among Class Extensions Caused by

Local Rebinding

Shumpei Akai, Shigeru Chiba

* [RR] An Exploratory Study of the Design Impact of Language Features for

Aspect-oriented Interfaces

Robert Dyer, Hridesh Rajan, Yuanfang Cai

* [RR] Comprehensively Evaluating Conformance Error Rates of Applying Aspect

State Machines for Robustness Testing

Shaukat Ali, Tao Yue, Zafar Malik

* [RR] Are Automatically-Detected Code Anomalies Relevant to Architectural

Modularity? An Exploratory Analysis of Evolving Systems

Isela Macia Bertran, Joshua Garcia, Daniel Popescu, Alessandro

Garcia, Nenad Medvidovic, Arndt Von Staa

* [RR] LARA: An Aspect-Oriented Programming Language for Embedded Systems

Joao Cardoso, Tiago Carvalho, Jose Coutinho, Wayne Luk, Ricardo

Nobre, Pedro Diniz, Zlatko Petrov

* [RR] ContextErlang: Introducing Context-oriented Programming in the Actor

Model

Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella

* [MV] Fine-Grained Modularity and Reuse of Virtual Machine Components

Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz

* [RR] An Object-oriented Framework for Aspect-oriented Languages

Marko van Dooren, Eric Steegmans, Wouter Joosen

* [RR] Reusing Non-Functional Concerns Across Languages

Myoungkyu Song, Eli Tilevich

* [RR] DiSL: a Domain-Specific Language for Bytecode Instrumentation

Lukas Marek, Alex Villazon, Yudi Zheng, Danilo Ansaloni, Walter

Binder, Zhengwei Qi

* [RR] Multi-View Refinement of AO-Connectors in Distributed Software

Systems

Steven Op de Beeck, Marko van Dooren, Bert Lagaisse, Wouter Joosen

* [RR] Weaving Dynamical Aspects in HiLA

Gefei Zhang, Matthias Hoelzl

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

WORKSHOPS

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

A diverse set of workshops will be offered at AOSD 2012 during the

first two days of the conference. All workshops are included in the

registration fee. There will be six workshops at AOSD 2012:

Monday, March 26th 2012

* FOAL: Foundations Of Aspect-Oriented Languages

* VariComp: 3rd International Workshop on Variability and Composition

* ESCOT: 3rd International Workshop on Empirical Evaluation of Software

Composition Techniques

Tuesday, March 27th 2012

* NEMARA: Next Generation Modularity Approaches for Requirements and

Architecture

* DSAL: Workshop on Domain-Specific Aspect Languages

* MISS: Modularity in Systems Software

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

ORGANIZING COMMITTEE

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

* Robert Hirschfeld, General Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Michael Haupt, Organizing Chair

(Oracle Labs, Potsdam, Germany)

* Eric Tanter, Research Results Chair

(Universidad de Chile, Chile)

* Kevin Sullivan, Modularity Visions Chair

(University of Virginia, USA)

* Richard P. Gabriel, Heart of Technology Lectures Chair

(IBM Research, USA)

* Sabine Wagner, Administrative Coordinator

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Sven Apel, Workshops Co-Chair

(University of Passau, Germany)

* Bastian Steinert, Workshops Co-Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Carl Friedrich Bolz, Demonstrations and BoFs Co-Chair

(Heinrich-Heine-Universitaet Duesseldorf, Germany)

* Damien Cassou, Demonstrations and BoFs Co-Chair

(Inria Arles, France)

* Bogdan Franczyk, Industry Co-Chair

(Universitaet Leipzig, Germany)

* Andreas Polze, Industry Co-Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Hidehiko Masuhara, Student Events Co-Chair

(The University of Tokyo, Japan)

* Michael Perscheid, Student Events Co-Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Eric Bodden, Publicity Co-Chair

(Technische Universitaet Darmstadt, Germany)

* Monica Pinto, Publicity Co-Chair

(Universidad de Malaga, Spain)

* Ruzanna Chitchyan, Student Volunteers Co-Chair

(University of Leicester, UK)

* Jens Lincke, Student Volunteers Co-Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Tobias Pape, Web Chair

(Hasso-Plattner-Institut, University of Potsdam, Germany)

* Constanze Langer, Design

(Institute of Industrial Design, Hochschule Magdeburg-Stendal, Germany)

Eric Bodden (Technische Universitaet Darmstadt, Germany) &

Monica Pinto (Universidad de Malaga, Spain), Publicity Co-Chairs

[aspectj-announce] MODULARITY: aosd 2012 - Announcement of Student Events

pinto@xxxxxxx (MÃnica Pinto) — Wed, 08 Feb 2012 14:22:42 GMT

                      << ANNOUNCEMENT OF STUDENT EVENTS >> 

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

 11th International Conference on Aspect-Oriented Software Development 
                         MODULARITY: aosd 2012

                     Announcement of Student Events
          http://www.aosd.net/2012/program/student-events.html
                           students@xxxxxxxx

                           March 25-30, 2012 
                Hasso-Plattner-Institut Potsdam, Germany

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

We'd like to announce the student events for the upcoming MODULARITY: 
aosd 2012 conference. These events are a valuable experience to meet 
other students, to identify new research ideas, and to present results 
to other researchers. 

*** Student Grants for AOSD Registration ***

We are happy to announce that AOSD Europe will fund up to 10 grants 
supporting student registrations for MODULARITY: aosd 2012. We target 
a balanced mix of European countries and select students based on 
received applications (a short motivation letter with no more than 
250 words).

Please note: The grants are limited to students from European 
universities (independent of nationality). A grant includes 250â 
that will only be reimbursed after a student has registered for 
the full conference (350â).

Please, apply for a grant by e-mail (students@xxxxxxxx) until 
February 20th, 2012.

=======================================================================
Student Forum / Spring School (full-day) - Sunday March 25th
=======================================================================

The Student Forum will take place on the Sunday preceding the 
conference 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 by use of the AOSD registration 
system or e-mail (students@xxxxxxxx) not later than March 18th, 2012.

=======================================================================
Student Poster Session (at the workshop reception) - Monday March 26th
=======================================================================

The Poster Event is always one of the most exciting and well attended 
social events of the conference. This event, held during the workshop 
reception on Monday, allows students to present their research 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 submit a poster by e-mail (students@xxxxxxxx) until February 29th, 2012. 

=======================================================================
Student Research Competition - Monday March 26th / Wednesday March 28th
=======================================================================

AOSD is hosting an ACM SIGPLAN Student Research Competition. The 
competition, sponsored by Microsoft Research, is an internationally-
recognized venue that enables undergraduate and graduate students to 
experience the research world, share their research results with other 
students and AOSD attendees, and compete for prizes. The ACM SIGPLAN 
Student Research Competition shares the Poster session's goal to 
facilitate students' interaction with researchers and industry 
practitioners; providing both sides with the opportunity to learn of 
ongoing, current research. Additionally, the Student Research 
Competition affords students with experience with both formal 
presentations and evaluations.

The first and second round will take place as follows: 

First Round (Posters): 
    Monday March 26th, 2012 (at the workshop reception)
Second Round (Presentations): 
    Wednesday March 28th, 2012 (early afternoon)

Student participants:

* A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
    Diana Allam
* Compositional Verification of Events and Aspects
    Cynthia Disenfeld
* Controlling Aspects with Membranes
    Ismael Figueroa
* Aspect-Oriented Framework for Developing Dynamic Contents
    Kohei Nagashima
* Tearing Down The Multicore Barrier For Web Applications
    Jens Nicolay
* Adding high-level concurrency to EScala
    Jurgen M. Van Ham
* A Scalable and Accurate Approach Based on Count Matrix for Detection Code Clones and Aspects
    Yang Yuan

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

For more information please visit: 
http://www.aosd.net/2012/program/student-events.html

If you have any questions, please feel free to ask (students@xxxxxxxx).
We are looking forward to your participation.

Best regards,
Hidehiko Masuhara and Michael Perscheid
AOSD 2012 Student Events Co-Chairs

[aspectj-announce] MODULARITY: aosd.2012 - Call for Participation!!!

pinto@xxxxxxx (Mónica Pinto) — Fri, 03 Feb 2012 19:56:21 GMT