[ecoop-info] IWACO 2016 - Call for Papers

Emilio Coppa coppa at di.uniroma1.it
Sat Feb 27 17:32:14 CET 2016

7th IWACO International Workshop on Aliasing, Capabilities and Ownership

Co-located with ECOOP
Monday July 18th, 2016, Rome, Italy

Reasoning about shared state in imperative programs is challenging. The
existence of aliases, in particular, compromises modular reasoning, making
imperative programs hard to understand, maintain, and analyze. These
difficulties become even aggravated in a concurrent context. On the other
hand, aliasing is a very powerful feature and allows for efficient
implementations of data structures, for example.

To address those challenges, techniques have been introduced for describing
and reasoning about stateful programs and for restricting, analyzing, and
preventing aliases. Approaches are based on ownership, capabilities,
separation logic, linear logic, uniqueness, sharing control, escape
analysis, argument independence, read-only references, linear references,
effects systems, and access control mechanisms.

The workshop will generally address the question how to reason about
stateful (sequential or concurrent) programs. In particular, we will
consider the following issues (among others):
models, type and other formal systems, programming language mechanisms,
analysis and design techniques, patterns and notations for expressing
ownership, aliasing, capabilities, uniqueness, and related topics;
optimization techniques, analysis algorithms, libraries, applications, and
novel approaches exploiting ownership, aliasing, capabilities, uniqueness,
and related topics; empirical studies of programs or experience reports
from programming systems designed with these issues in mind; programming
logics that deal with aliasing and/or shared state, or use ownership,
capabilities or resourcing; applications of any of these techniques to a
concurrent setting.

We encourage not only submissions presenting original research results, but
also papers that attempt to establish links between different approaches
and/or papers that include survey material. Original research results
should be clearly described. Paper selection will be based on the quality
of the submitted material. Please direct any questions regarding the
workshop's scope to the workshop organizer.

Both full papers and short papers in the ACM 2-column style are welcome,
with a maximum of 15 pages for full papers and 8 pages for short papers.
Papers are strongly encouraged to be well below the maximum length. All
submissions will be reviewed by the program committee. The accepted papers,
after rework by the authors, will be made publicly available as informal
proceedings on the workshop web page.

For the submission, please use the HotCRP/EasyChair system:

## Important Dates

 * Paper submission: April 22rd, 2016
 * Notification: May 20th, 2016
 * All deadlines: Anywhere on Earth (AoE), i.e., GMT/UTC−12:00 hour

## Workshop Programming Committee

Paley Li, Northeastern University (organizer)
Alexander Summers, ETH Zurich
Sylvan Clebsch, Imperial College London
Tobias Wrigstad, Uppsala University
Marieke Huisman, University of Twente
Hridesh Rajan, Iowa State University
Bart Jacobs, KU Leuven
Felix Klock, Mozilla Corporation
Colin Gordon, Drexel University
Marwan Abi-Antoun, Wayne State University

More information about the ecoop-info mailing list