[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
**************************************************************************
6TH INTERNATIONAL WORKSHOP ON ALIASING, CAPABILITIES AND OWNERSHIP (IWACO)
Co-located with ECOOP 2014
July 28th, 2014, Uppsala, Sweden
http://www.ownership-types.org/iwaco14/
**************************************************************************
CALL FOR PAPERS:
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 organizers.
IMPORTANT DATES:
Paper submission: May 7, 2014
Notification: June 9, 2014
Final version: June 23, 2014
PROGRAM COMMITTEE:
Werner Dietl, University of Waterloo
Colin Gordon, University of Washington
Ana Milanova, Rensselaer Polytechnic Institute
Greg Morrisett, Harvard University
Frank Pfenning, Carnegie Mellon University
Francois Pottier, INRIA
Alex Summers, ETH Zürich
Aaron Turon, Max Planck Institute for Software Systems
Jan Vitek, Purdue University
Janina Voigt, Cambridge University
ORGANIZERS:
Stephanie Balzer, Carnegie Mellon University
Johan Östlund, Uppsala University
