[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
11th IWACO International Workshop on Aliasing, Capabilities and Ownership
(IWACO) as part of SPLASH 2023
## Important Dates
Paper submission: 12 Jul 2023 (extension possible!)
Camera-ready deadline: 10 sep 2023
Workshop: part of SPLASH, 22-27 Oct 2023
Please submit, and please email the organizers with any questions or requests!
(All deadlines are Anywhere on Earth)
## Aim and Scope
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.
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.
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.
IWACO’23 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:
- 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;
- empirical studies of programs or experience reports from programming systems
designed with these techniques in mind;
- programming logics that deal with aliasing and/or shared state, or use
ownership, capabilities or resourcing;
- applications of capabilities, ownership and other similar type systems in
low-level systems such as programming languages runtimes, virtual machines, or
compilers; and
- optimization techniques, analysis algorithms, libraries, applications, and
novel approaches exploiting ownership, aliasing, capabilities, uniqueness, and
related topics.
## Submissions
Contributions may be up to 6 pages long (excluding references and appendix). We
also encourage short papers (~2 pages) or extended abstracts (~1 page)
describing new ideas and open questions for discussion.
All authors should use the official “ACM Master article template”, which can be
obtained from the ACM Proceedings Template pages
(https://urldefense.com/v3/__https://www.acm.org/publications/proceedings-template__;!!IBzWLUs!UFccc4ZTE2M2exEBm3QLxq5vO37vWcS1n4UXt3J9fVCHR8WGC296qvCv4n6pRuobQEHGkWDXzOwxN3vxxHSZEJ4VpexMebr3xm-IyXepBg$
). 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}
Papers must be submitted via HotCRP:
https://urldefense.com/v3/__https://iwaco23.hotcrp.com__;!!IBzWLUs!UFccc4ZTE2M2exEBm3QLxq5vO37vWcS1n4UXt3J9fVCHR8WGC296qvCv4n6pRuobQEHGkWDXzOwxN3vxxHSZEJ4VpexMebr3xm8Ii0HeCg$
I hope to see your submissions!!
När du har kontakt med oss på Uppsala universitet med e-post så innebär det att
vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du
läsa här:
https://urldefense.com/v3/__http://www.uu.se/om-uu/dataskydd-personuppgifter/__;!!IBzWLUs!UFccc4ZTE2M2exEBm3QLxq5vO37vWcS1n4UXt3J9fVCHR8WGC296qvCv4n6pRuobQEHGkWDXzOwxN3vxxHSZEJ4VpexMebr3xm8uqiptfQ$
E-mailing Uppsala University means that we will process your personal data. For
more information on how this is performed, please read here:
https://urldefense.com/v3/__http://www.uu.se/en/about-uu/data-protection-policy__;!!IBzWLUs!UFccc4ZTE2M2exEBm3QLxq5vO37vWcS1n4UXt3J9fVCHR8WGC296qvCv4n6pRuobQEHGkWDXzOwxN3vxxHSZEJ4VpexMebr3xm9vRt2UhA$
