<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
*** NOTE DEADLINES EXTENDED ***<br>
<br>
Abstract submission: May 17<br>
Paper submission: May 19<br>
<br>
**************************************************************************<br>
<br>
6TH INTERNATIONAL WORKSHOP ON ALIASING, CAPABILITIES AND OWNERSHIP (IWACO)<br>
<br>
Co-located with ECOOP 2014<br>
July 28th, 2014, Uppsala, Sweden<br>
<br>
<a href="http://www.ownership-types.org/iwaco14/">http://www.ownership-types.org/iwaco14/</a><br>
<br>
**************************************************************************<br>
<br>
CALL FOR PAPERS:<br>
<br>
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.<br>
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.<br>
<br>
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):<br>
<br>
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.<br>
<br>
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.<br>
<br>
IMPORTANT DATES:<br>
<br>
Abstract submission: May 17<br>
Paper submission: May 19<br>
Notification: June 21<br>
Final version: July 5, 2014<br>
<br>
PROGRAM COMMITTEE:<br>
<br>
Werner Dietl, University of Waterloo<br>
Colin Gordon, University of Washington<br>
Ana Milanova, Rensselaer Polytechnic Institute<br>
Greg Morrisett, Harvard University<br>
Frank Pfenning, Carnegie Mellon University<br>
Francois Pottier, INRIA<br>
Alex Summers, ETH Zürich<br>
Aaron Turon, Max Planck Institute for Software Systems<br>
Jan Vitek, Purdue University<br>
Janina Voigt, Cambridge University<br>
<br>
ORGANIZERS:<br>
<br>
Stephanie Balzer, Carnegie Mellon University<br>
Johan Östlund, Uppsala University
</body>
</html>