I'm organizing the AGERE workshop on programming with actors, agents and decentralized control together with Simon Fowler and De Koster Joeri. If you're working on something related to this, please consider submitting! We also accept demos of artefacts.

4 WAYS OOP INHERITANCE IS LIKE GOTO 1. It's mostly "considered harmful". It should be your last resort. 2. It does many different things. Goto was used to emulate control flow, loops, subroutines, exceptions, resource cleanup... we replaced it with *specific* constructs.

Polishing your submission for AGERE 2021? You now have three extra days to make the final changes! The submission deadline has been updated to August 9 (AoE).

It was just pointed out to me that coupling (as in coupling and cohesion) is not pronounced “coopling”, but “cupling”. I may have mislead some 130 Swedish CS students (and even more before this year…)

Interested in efficient runtimes? Interested in correctness? What about both?! There is a new PhD position open at Uppsala University on efficient and provably correct execution environments : uu.se/en/about-uu/jo…

Just learned the very sad news that one of our members, Eelco Visser, passed away yesterday. We are all quite saddened by this rather unexpected news of the passing of such a vibrant researcher.

Looking for a slide with a “graph” of program logics, with arrows showing what inspired what, starting from Hoare (Floyd?) and going up to modern separation logic. I seem to recall it was made by Ilya Sergey, but I may be wrong! Does anyone know what slide I’m talking about?

Doing stuff related to value independence? Consider submitting to VIMPL'23 (colocated with <PROGRAMMING>)! Deadline is next week (January 20). 2023.programming-conference.org/home/vimpl-2023

Today my Ph.D. student Viktor Palmkvist made an excellent presentation of our paper on Statically Resolvably Ambiguity at POPL 2023 in Boston, popl23.sigplan.org. I'm really proud of the work and Viktor's results. See the open access version: doi.org/10.1145/3571251

I wonder if they serve nasal demons?

Holy aliasing control, Batman! IWACO is back! This is a great venue for discussing all things aliasing, capabilities and ownership. Borrowing? We’ve got you covered! Fractional permissions? Any time of the day! Maybe something completely new? Welcome to submit before 12 July!

Current state of writing

8 days left until the July 12th IWACO deadline! Calling all wackos interested in Aliasing, Capabilities, Ownership: submit your papers!

This was my burger wrapper today. The actual text is… weird…

Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University: jobb.uu.se/details/?posit…

Remember that IWACO is happening again in 2024! We have a full month to put together a description of ongoing work or just write an extended abstract on an interesting idea (I'm sure you have plenty!)