Researcher by day; jazz musician by night (he/him)
Uppsala, Sverige
Joined July 2017
- Tweets269
- Following144
- Followers89
- Likes1.3K
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!)
Glad to say that IWACO is happening again in 2024! If you didn't get your fix of Aliasing, Capabilities, and Ownership last year, now's your chance :) 2024.splashcon.org/home/iwac…
Elias Castegren retweeted
Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University: jobb.uu.se/details/?position…
Elias Castegren retweeted
8 days left until the July 12th IWACO deadline! Calling all wackos interested in Aliasing, Capabilities, Ownership: submit your papers!
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!
Interested in Aliasing? Capabilities? Ownership?
Already working on a problem, or just have an insight to share? Lucky you: the CfP for IWACO'23 is out! #SPLASH23
We accept papers on work-in-progress, novel ideas and open questions. Find out more: 2023.splashcon.org/home/iwac…
Hey PL Twitter! I’m teaching a course on semantics next semester. Does anyone know an easy-to-use tool for playing around with operational semantics? I’m thinking stuff like building derivation trees using a set of inference rules. Doesn’t need to do induction or anything fancy.
Elias Castegren retweeted
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
Doing stuff related to value independence? Consider submitting to VIMPL'23 (colocated with <PROGRAMMING>)! Deadline is next week (January 20). 2023.programming-conference.…
Just heard my daughter (two and a half years old) from the other room:
“If you’re happy and you know it, poop on the floor! (Poop, poop)”
I did not teach her these lyrics, but part of me is proud about her understanding the form well enough to improvise!
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 @ilyasergey, but I may be wrong! Does anyone know what slide I’m talking about?
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/join-us/de…
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…)
Elias Castegren retweeted
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).
Elias Castegren retweeted
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.
I'm organizing the AGERE workshop on programming with actors, agents and decentralized control together with @Simon_JF and @jdekoste. If you're working on something related to this, please consider submitting! We also accept demos of artefacts.
This account has come back to life to let you all know that the AGERE workshop will be co-located with SPLASH 2021 in Chicago and online! You can find the call for papers here: 2021.splashcon.org/home/ager…
Please help spread the word!