[TYPES/announce] Call for Papers: IWACO 2016 *****Deadline Extension - May 8th*****

[Emilio Coppa]

 *****Deadline Extension - May 8th*****

7th IWACO International Workshop on Aliasing, Capabilities and Ownership
(IWACO)
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.

Papers in the ACM 2-column style are welcome, with a minimum length of 2
pages. 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.

## Submission

For the submission, please use the HotCRP/EasyChair system:
https://easychair.org/conferences/?conf=iwaco2016

## Important Dates

• Paper submission: May 8th, 2016 (updated)
• Notification: May 30th, 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160502/e818b472/attachment-0001.html>