‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan

The tension between unconstrained mutation and algebraic semantic reasoning has been well known at least since Backus’ 1977 Turing Award paper introducing FP. After decades of bifurcation into communities that either ignored the problem, or addressed it by insisting on strict immutability, the PL field has recently begun to explore more nuanced approaches that emphasize the independence of mutable values.

Value independence upholds the ability to reason locally about semantics, from the variables mentioned alone. This ability is crucial both for human understanding of software developed at scale, and for automated code transformations such as optimization, which are otherwise inhibited by conservative aliasing assumptions.

These benefits are pushing imperative and object-oriented programming languages to adopt mechanisms such as value types (e.g., Java, C#, Swift) and aliasing restrictions (e.g., Rust). On the other side of the spectrum, pure functional programming languages leverage value independence to transform functional patterns into in-place updates (e.g., Koka), in spite of immutability.

This workshop provides a forum for researchers and practitioners to discuss the (re)emergence of value independence as a theme in the user model of programming languages, its use in software applications, its use in compilers and interpreters for optimization, and the challenges related to its interaction with other modern programming language features.

We welcome experience reports on the design and implementation of applications or libraries, as well as research papers describing new approaches to bring or leverage value independence in new or existing programming languages.

Accepted Talks

Title
Lawvere: A categorical programming language with effectsVIMPL
VIMPL
Uniqueness is SeparationVIMPL
VIMPL

Call for Papers

VIMPL (Value Independence in Modern Programming Languages) intends to welcome a wide range of topics and perspectives relevant to value independence. We will accept three kinds of submissions:

  1. Research papers (10 pages, excluding references) documenting past or ongoing effort to use and/or leverage value independence in new or existing programming languages.
  2. Extended abstracts (2 pages) summarizing the design and implementation of applications or libraries centered around value independence.
  3. Position papers (2 pages) presenting the authors’ opinion on a topic related to the workshop.

Topics of interest include, but are not limited to:

  • Programming languages designed to support value independence;
  • Inclusion of value types in reference-oriented languages (e.g., Java, Python, or Javascript);
  • Memory representation and garbage collection of value types;
  • Optimization strategies based on value independence;
  • Empirical studies on the use, usability, and/or performance of mechanisms to promote value independence.

Papers should strictly adhere to the ACM acmart format v1.87 or newer and be submitted as PDF: https://www.acm.org/publications/proceedings-template. Please use the following LaTeX class configuration: \documentclass[sigconf,screen]{acmart}.

VIMPL will use a double-blind review process. Authors should ideally omit any identifying information from their submission and should refer to their own work in the third person. Exceptions can be made for extended abstracts summarizing existing work. Submissions will be judged on novelty, clarity, relevance and potential impact to foster interesting discussions at the workshop.

Research papers will be considered for publication in the ACM Digital Library, except if the authors prefer not to be included.

Papers should be submitted no later than January 22th 2023.

Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Mar

Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:30
09:00
15m
Day opening
Workshop opening
MoreVMs

09:15
25m
Talk
A Compact and Extensible Portable Scheme VM
MoreVMs
Léonard Oest O'Leary , Marc Feeley Université de Montréal
Pre-print
09:40
25m
Talk
Threaded Execution as a Dual to Native Code
MoreVMs
Dave Mason Toronto Metropolitan University (formerly Ryerson University)
10:05
25m
Talk
Parallel garbage collector and thin monitor locks for SubstrateVM
MoreVMs
Dmitry Chuyko BellSoft
14:00 - 15:30
MoreVMs IIIMoreVMs at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Stefan Marr University of Kent
14:00
25m
Talk
Implementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices
MoreVMs
Go Suzuki Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology
Pre-print Media Attached
14:25
25m
Talk
Interpreter Taming to Realize Multiple Compilations in a Meta-Tracing JIT Compiler Framework
MoreVMs
Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick
Media Attached
14:50
25m
Talk
Cross-Language Interoperability of Heterogeneous Code
MoreVMs
Athanasios Stratikopoulos The University of Manchester, Florin Blanaru OctoML, Juan Fumero University of Manchester, UK, Maria Xekalaki University of Manchester, UK, Orion Papadakis The University of Manchester, Christos Kotselidis KTM Innovation / The University of Manchester
Pre-print
16:00 - 16:50
VIMPLMoreVMs / VIMPL at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Dimi Racordon Northeastern University, USA
16:00
25m
Talk
Lawvere: A categorical programming language with effectsVIMPL
VIMPL
James Haydon National Institute of Informatics, Japan
16:25
25m
Talk
Uniqueness is SeparationVIMPL
VIMPL
Liam O'Connor University of Edinburgh, Pilar Selene Linares Arévalo University of Melbourne, Christine Rizkallah University of Melbourne
17:00 - 18:00
MoveVMs IVMoreVMs at Faculty of Engineering Building 6, Seminar Room A
Chair(s): Athanasios Stratikopoulos The University of Manchester
17:00
59m
Keynote
Programming for deep learning on top of Virtual MachinesMoreVMs Keynote
MoreVMs
Zoran Sevarac Deep Netts LLC
17:59
1m
Day closing
Workshop closing
MoreVMs

Questions? Use the VIMPL contact form.