ICOOOLPS 2023

Leo Gourdin is going to talk about "Lazy Code Transformations in a Formally Verified Compiler" Haven't heard about the CompCert C compiler before? Make sure to join us. The preprint is already available here: conf.researchr.org/details/ecoop-… #compcert #compilers

Joannah Nanjekye @Captain_Joannah is going to present a paper titled: Towards Reliable Memory Management for Python Native Extensions It explores a point in the design space for Python foreign function interfaces. Find the preprint here: conf.researchr.org/details/ecoop-… #python #ffi

Our second invited talk is by Benjamin Chung @ckfinite. He is going to give a talk titled "Digging into Julia's implementation: lesson learned" You may have seen some of his work already, for instance in the OOPLSA paper on World Age in Julia: benchung.github.io/papers/oopsla2…

Our first invited talk is by Haoran Xu and he is going to talk the new meta-compilation system Deegen. If you can't wait for the talk, enjoy his blog at sillycross.github.io/index.html

Have you already registered for this year's ICOOOLPS? You should! Early registration deadline is June 15th. conf.researchr.org/attending/ecoo… And we have a very interesting program for you:

Indeed, @dimiracordon and Eric Jul are making preparations for an interesting workshop mid July. First details are here: #Call-for-Contributions" target="_blank" rel="nofollow noopener">conf.researchr.org/home/ecoop-iss… Looking forward to your papers and talk proposals!

VMIL 2022 is back at @splashcon! Looking forward to your submissions 👇👇👇 2022.splashcon.org/home/vmil-2022 #VMIL2022

Here's the recording of the HPy presentation that HPy core dev @timfelgentreff gave at the @ICOOOLPS and TRUFFLE workshops last week: youtu.be/SSS9q3md3mA

If you can’t wait until next year, the next events are: @dynlangsym deadline June 24th, in early December in NZ. @MPLR_Conf mid-Sept. in Brussels, submission deadline for posters and demos in August! @VMIL2022 deadline 1st of September, will be hybrid and run in early December

Thanks everyone for making this a great in-person workshop! Special thanks to all our authors, submitters, PC members, and of course @cfbolz for organizing. Special thanks also to @timfelgentreff for organizing the Truffle workshop, with which we shared keynotes and sessions!

We have a preliminary program up! It's still changing, we're expecting to announce another exciting invited talk soon. In addition, we are coordinating with the Truffle workshop to have shared sessions where that makes sense.

The ICOOOLPS deadline for talk/demo abstracts and position papers is in two days, on Thursday April 21st! Send us your talk proposals and join us at @ECOOPconf in Berlin on June 7 for for an exciting workshop! 2022.ecoop.org/home/ICOOOLPS-…

A bit more than two weeks until the ICOOOLPS 2022 paper deadline on March 24. Looking forward to your submissions! 2022.ecoop.org/home/ICOOOLPS-… @ECOOPconf

The ICOOOLPS 2022 Call for Papers is now online: #Call-for-Contributions" target="_blank" rel="nofollow noopener">2022.ecoop.org/home/ICOOOLPS-… Paper deadline is March 24, Talk/demo/position paper submission deadline April 21. Join us at @ECOOPconf in Berlin!

Fuel: A Compiler Framework for Safe Memory Management -- with a striking presentation by Aurélien Coet conf.researchr.org/details/ecoop-…

A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications, presented by Kyle Liang, coming to a workshop near you! conf.researchr.org/details/ecoop-…

Observations by @j_v_66 on The Strange and Wondrous Life of Functions in Ř (pronunciation of Ř will be demonstrated) conf.researchr.org/details/ecoop-…

Being lazy is not worh it, claims @TheAviralGoel and proposes: Non-Intrusive Migration from Lazy to Eager Evaluation conf.researchr.org/details/ecoop-…

UFOs are real! Konrad Siek will convince you of Userfault Objects: Transparent Programmable Memory conf.researchr.org/details/ecoop-…

Native Implementation of Mutable Value Semantics arxiv.org/abs/2106.12678 github.com/kyouko-taiga/m… Dimitri Racordon, @den_sh, @DaveAbrahams, @dancherp, @bsaeta @ICOOOLPS 2021