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:
https://t.co/kBcDKSyhaB
#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: https://t.co/BJziHIAKIW
#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: https://t.co/vCbG5qzVaS
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 https://t.co/MdAvJHIliB
Have you already registered for this year's ICOOOLPS?
You should! Early registration deadline is June 15th.
https://t.co/CeLdoImY8J
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: https://t.co/Z0KXftBxSx
Looking forward to your papers and talk proposals!
📢 We are happy to announce that ECOOP/ISSTA 2023 will feature the following exciting workshops:
🔸 FTfJP
🔸 FUZZING
🔸 VORTEX
🔸 ICOOOLPS
🔸 DEBT
👇🏼
https://t.co/Iek9D6CICu
Here's the recording of the HPy presentation that HPy core dev @timfelgentreff gave at the @ICOOOLPS and TRUFFLE workshops last week: https://t.co/A4ZRbYU0VB
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.
Early registration deadline is postponed.
Have a look at the @ICOOOLPS and Truffle programs if you’re interested in programming language implementation:
https://t.co/iyRRDIAGrP
https://t.co/9rmoTdrxsK
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!
https://t.co/7SGcCoi9RA
The ICOOOLPS 2022 Call for Papers is now online:
https://t.co/FPQmqZUsoE
Paper deadline is March 24, Talk/demo/position paper submission deadline April 21.
Join us at @ECOOPconf in Berlin!
A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications, presented by Kyle Liang, coming to a workshop near you! https://t.co/P66AcfMPAE