ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization.

The goal of the workshop is to discuss emerging problems and research directions as well as new solutions to classic and novel implementation challenges. The topics of interest for the workshop include implementation and optimization strategies for a wide range of programming languages, including but not limited to object-oriented ones. Compiler retargeting, virtual machine implementations, and generative programming approaches are welcome too.

Plenary

This program is tentative and subject to change.

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

Fri 20 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
Coffee and Light BreakfastSocial Events at Aula
09:00 - 10:00
Memory safetyICOOOLPS at EI 5 Hochenegg
09:00
60m
Talk
Miri: Practical Undefined Behavior Detection for Rust
ICOOOLPS
Ralf Jung ETH Zurich
10:00 - 10:30
10:30 - 12:00
ConcurrencyICOOOLPS at EI 5 Hochenegg
10:30
60m
Industry talk
Structured concurrency in Hylo
ICOOOLPS
Lucian Radu Teodorescu Garmin International
11:30
30m
Research paper
Stack-copying Delimited Continuations for Scala Native
ICOOOLPS
Nguyen Pham EPFL, LAMP, Martin Odersky EPFL
12:00 - 13:30
13:30 - 15:00
Unconference 1ICOOOLPS at EI 5 Hochenegg
15:00 - 15:30
15:30 - 16:30
Unconference 2ICOOOLPS at EI 5 Hochenegg

Call for Papers

The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization (even beyond the historical OO background of the workshop). The goal of the workshop is to discuss emerging problems and research directions, as well as new solutions and techniques.

We hope to provide a space for participation and discussion and in particular to bring up burgeoning ideas and work in progress. Such contributions can be submitted as position papers or short (aka lightning) talks. This year, we will also accept a new kind of submissions: code walks!

A non-exclusive list of topics of interest for ICOOOPLS includes:

  • Implementation and optimization of fundamental languages features (from memory management to metaprogramming)
  • Abstraction lowering and representation techniques (exceptions, concurrency, capabilities, …)
  • Runtime systems technology (libraries, virtual machines)
  • Compilation tools, techniques, and libraries for language interoperability
  • Static, adaptive, and speculative optimizations and compiler techniques
  • Meta-compilation techniques and language-agnostic approaches for the efficient implementation of languages
  • Compiler toolchains (intermediate representations, offline and online optimizations,…)
  • Compiler retargeting (e.g., retargeting existing compilers to WebAssembly, Javascript, LLVM, Ethereum, …)
  • Resource-sensitive systems (real-time, low power, mobile, cloud)
  • Power-efficient code and compiler techniques for generating power-efficient code
  • Studies on design choices and tradeoffs (dynamic vs. static compilation, heuristics vs. programmer input, …)
  • Tooling support, debuggability and observability of languages as well as their implementations

Workshop Format

The workshop welcomes the presentation and discussion of new ideas and emerging problems. We aim to provide an environment to present and discuss your work at different stages of maturity. Therefore, we provide four submission categories:

  • Full papers (up to 12 pages), which will be included in the proceedings;
  • Position papers (up to 4 pages), for work in progress, ideas in early stages;
  • Code walks and demonstrations, for diving into concrete implementation details involving interesting approaches;
  • Lightning talk (~5 min), for sharing burgeoning thought-provoking ideas.

Code walks and demonstrations should be submitted as 1-page abstracts describing their contents, which will be evaluated on their relevance and suitability for the worksop’s audience and venue. Lightning talks should be submitted with a title and short (~1 paragraph) abstract.

All accepted submissions except lighting talks are expected to be presented in a 30 minutes slot. Accepted full papers will be be published in ACM DL.

To submit a paper, please use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages. ICOOOLPS features a light-weight double-blind review process. Authors should omit their names in the submission. Use the sigconf option as well as review and anonymous, i.e., place the following at the start of the latex document: \documentclass[sigconf,review,anonymous]{acmart}.

All submissions must be received no later than July 1st 2024 AoE.

AUTHORS TAKE NOTE:

The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.

Questions? Use the ICOOOLPS contact form.