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.
Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | Miri: Practical Undefined Behavior Detection for Rust ICOOOLPS Ralf Jung ETH Zurich |
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 60mIndustry talk | Structured concurrency in Hylo ICOOOLPS Lucian Radu Teodorescu Garmin International | ||
11:30 30mResearch paper | Stack-copying Delimited Continuations for Scala Native ICOOOLPS |
12:00 - 13:30 | |||
13:30 - 15:00 | |||
15:00 - 15:30 | |||
15:30 - 16:30 | |||
Accepted Papers
Title | |
---|---|
Stack-copying Delimited Continuations for Scala Native ICOOOLPS |
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.