<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">10th IWACO International Workshop on Aliasing, Capabilities and Ownership (IWACO)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">July 12, in connection with ECOOP/ISSTA.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Due to Covid-19, IWACO will be fully virtual. All participation will be online.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">## Important Dates</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Paper submission: 26 April, 2021</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Notification: 17 May, 2021</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Camera-ready deadline: 4 June, 2021</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Workshop: 12 July, 2021</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">(All deadlines are Anywhere on Earth)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">## Aim and Scope</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Stable object identity and shared mutable state are two powerful principles in programming. The ability to create multiple aliases to mutable data allows a
direct modelling of sharing that occurs naturally in a domain, and lies at the heart of efficient programming patterns where aliases provide shortcuts to key places in a data structure. However, aliasing is also the cause of low-level bugs which are notoriously
hard to debug, where a change through one alias may cause unforeseen changes visible through another alias. These problems are exacerbated in a concurrent setting, where aliasing is at the root of data races with multiple threads mutating shared memory simultaneously.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Coping with pointers, aliasing and the proliferation of shared mutable state is a problem that crosscuts the software development stack, from compilers and
runtimes to bug-finding tools and end-user software. They complicate modular reasoning and program analysis, efficient code generation, efficient use of memory, and obfuscate program logic.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Several techniques have been introduced to describe and reason about stateful programs, and to restrict, analyze, and prevent aliases. These include various
forms of ownership types, capabilities, separation logic, linear logic, uniqueness, sharing control, escape analysis, argument independence, read-only references, linear references, effect systems, and access control mechanisms. These tools have found their
way into type systems, compilers and interpreters, runtime systems and bug-finding tools.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="">IWACO’21 will focus on these techniques, on how they can be used to reason about stateful (sequential or concurrent) programs, and how they have been applied to programming
languages. In particular, we will consider papers on:</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- models, type systems and other formal systems, programming language mechanisms, analysis and design techniques, patterns and notations for expressing ownership,
aliasing, capabilities, uniqueness, and related topics;</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- empirical studies of programs or experience reports from programming systems designed with these techniques in mind;</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- programming logics that deal with aliasing and/or shared state, or use ownership, capabilities or resourcing;</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- applications of capabilities, ownership and other similar type systems in low-level systems such as programming languages runtimes, virtual machines, or compilers;
and</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- optimization techniques, analysis algorithms, libraries, applications, and novel approaches exploiting ownership, aliasing, capabilities, uniqueness, and
related topics.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">## Submissions</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Contributions may be submitted in two formats:</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- Short papers (up to 2 pages, excluding references and clearly marked appendices) describing new ideas and open questions for discussion.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">- Full papers (up to 8 pages, excluding references and clearly marked appendices) describing (preliminary) research results.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">All authors should use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages (<a href="https://www.acm.org/publications/proceedings-template" class="">https://www.acm.org/publications/proceedings-template</a>).
Latex users should use the “sigconf” option as well as “review” (to produce line numbers for easy reference by the reviewers). To that end, the following latex code can be placed at the start of the latex document: \documentclass[sigconf,review]{acmart}</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class=""><font color="#000000" class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><span class="">Papers must be submitted via HotCRP: </span></font><font color="#000000" class=""><span style="caret-color: rgb(0, 0, 0);" class=""><a href="https://iwaco21.hotcrp.com" class="">https://iwaco21.hotcrp.com</a></span></font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Full papers will be included in the workshop proceedings, which will be archived in the ACM digital library.</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">## Organizing Committee</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Elias Castegren (KTH Royal Institute of Technology, Sweden)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Ralf Jung (MPI-SWS, Germany)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class=""><br class="">
</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">## Workshop Program committee</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Elisa Gonzalez Boix (Vrije Universiteit Brussel, Belgium)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Philipp Haller (KTH Royal Institute of Technology, Sweden)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Alex Potanin (Victoria University of Wellington, New Zealand)</font></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font color="#000000" class="">Aaron Weiss (Northeastern University, United States)</font></div>
</body>
</html>