-->

2024

November

A blog post about our work on the Mark–Scavenge GC protocol is published on inside.java.

October

The International Workshop on Aliasing, Capabilities and Ownership (IWACO) was a great success. Hat’s off to Alex who did most of the legwork, and to all great speakers and participants. A happy (and tired) Alex taking down the IWACO sign at the completion of the workshop.

October

My grant application Data-race Freedom and Memory Safety for Untyped Languages was funded by the Swedish Research Council. Funding runs until 2028.

October

Visiting the Isaac Newton Institute in Cambridge to attend Big Specification.

September

SICP JS has sold over 5.000 copies, excluding translations.

August

Marina Shimchenko just successfully defended her thesis Optimizing Energy Efficiency of Concurrent Garbage Collection. The opponent was Professor Yu David Liu from State University of New York (Binghampton), and the grading committe consisted of Professor Elisa Gonzales Boix from Vrie University of Brussels, Associate Professor Stefan Marr from University of Kent, Professor Mike Hazas from Uppsala University, and Associate Professor Emma Söderberg from University of Lund. Marina during the Q&A

August

My PhD student Jonas Norlinder’s paper Mark-Scavenge — Waiting for Trash to Take Itself Out, has been accepted for publication at OOPSLA 2024.

July

My PhD student Jonas Norlinder’s paper Mutator-Driven Object Placement using Load Barriers, has been accepted for publication at Managed Programming Languages and Runtimes (MPLR) 2024.

July

Our paper Dafny vs. Dala — Experience with Mechanising Language Design, has been accepted for publication at FTfJP 2024.

June

I am Associate Editor for OOPSLA 2025. You should strongly consider OOPSLA for any interesting work you are doing in PL! (Submission link)

June

My master student Isabell’s paper Nominal Types for Erlang (with John Högberg, Kiko Fernandez-Reyes and myself) was accepted to Erlang 2024 (in conjunction with ICFP). Watch out for a future Erlang release to include her enhancement proposal.

May

Our intellectual abstract Reference Counting Deeply Immutable Data Structures with Cycles was accepted for ISMM 2024.

May

Marina’s PhD dissertation, Optimising Energy Efficiency of Concurrent Garbage Collection, is printed and bound and looks beautiful! The defense is August 30. Opponent is Yu David Liu and the grading committee is staffed by Elisa Gonzales Boix, Stefan Marr, Mike Hazas, and Emma Söderberg.

April

My master thesis student (supervised at Ericsson by John Högberg) Isabell Huang successfully defended her thesis on Nominal Types in Erlang. You can read the Erlang Enhancement Proposal here. See also community reactions.

March

I am happy to announce that I am made an official member of the IFIP TC2 Working Group 2.16 on Programming Language Design.

January

Marina’s paper on Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors was accepted for Programming 2024 in Lund.

January

I will serve on the programming committee for ESOP — European Symposium on Programming 2025.

January

I will serve on the programming committee for MPLR — Managed Programming Languages and Runtimes 2024.

January

I will serve as Associate Editor for OOPSLA 2024. You should strongly consider OOPSLA for any interesting work you are doing in PL!

2023

October
In Cascais, attending SPLASH 2023 where Marina presents our wok on automatic heap sizing for ZGC in OpenJDK, Ellen presents Reggio, our work on a region-based ownership model for flexible memory management, and Luke presents behaviour-oriented concurrency.
October
In Lyon, attending the 5th International ABS Workshop and talking about Behaviour-Oriented Concurrency in Verona.
September
Giving a talk at USI on Behaviour-Oriented Concurrency in Verona: Simple, Safe & Speedy.
September
In Lugano serving of the grading committee for Igor Moreno Santos at USI, PhD student of Matthias Hauswirth.
September
Attending and speaking at the Programming Language Implementation Summer School (PLISS) on concurrent GC in ZGC, our past and current work on locality optimisations driven by GC, and type systems for memory management.
August
Our paper on reference capabilities for flexible memory management has been accepted to OOPSLA 2023. Congratulations to Ellen Arvidsson and the rest of the team!
August
Our paper on Behaviour-oriented Concurrency has been accepted to OOPSLA 2023. Congratulations to Luke Cheeseman and the rest of the team!
August
Our paper on adaptive heap sizing in ZGC on OpenJDK has been accepted to MPLR 2023. Congratulations to Sanaz Tavakolisomeh, Marina Shimchenko, and the rest of the team!
June
Our collaboration with Microsoft (Azure Research) on the Verona programming language is now visible on the Verona project page.
June
As part of our long collaboration with Oracle, there is a guest post by my PhD student Marina Shimchenko on the Inside JDK blog on our work on automatically deciding a heap size for Java programs based on using GC CPU overhead as a tuning knob. To see more blog posts made by students as part of this collaboration, see here.
June
We have an open PhD position in the programming languages group!
June
In Prague serving of the grading committee for Petr Maj at CTU, PhD student of Jan Vitek.
June
Off-site with parts of the PL group, making plans to take over the world. (Most PhD students missing because of e.g. summer schools etc.)
June
In Lund serving on the grading committee for Noric Couderc at LTH, PhD student of Christoph Reichenbach and Emma Söderberg.
March
I am serving on the programme committee of the journal of Programming (vol. 8).
March
I am serving on the programme committee of Onward! 2023, a conference co-located with SPLASH.
January
I am serving on the programme committee of Erlang 2023, a workshop co-located with ICFP.
January
POPL tutorial on ownership with James Noble.