[TYPES/announce] Call for Papers: IWACO 2016

Emilio Coppa coppa at di.uniroma1.it
Tue Apr 19 07:07:54 EDT 2016


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.

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

## Important Dates

- Paper submission: April 22rd, 2016
- Notification: May 20th, 2016
- All deadlines: Anywhere on Earth (AoE), i.e., GMT/UTC−12:00 hour
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160419/2b54edbf/attachment.html>


More information about the Types-announce mailing list