Elias Castegren

Researcher by day; jazz musician by night (he/him)

[Elias Castegren @CartesianGlee]

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!)

[Alex Boruch-Gruszecki @abgruszecki]

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 :) https://t.co/7YTkTkWigI

[Eva Darulova @malyzajko]

Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University: https://t.co/VmbpOm5dL7

[Elias Castegren @CartesianGlee]

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

[Alex Boruch-Gruszecki @abgruszecki]

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

[Elias Castegren @CartesianGlee]

@starsandspirals Looking forward to the video!

[Elias Castegren @CartesianGlee]

@sadisticsystems @foonathan This was my spontaneous answer as well

[Elias Castegren @CartesianGlee]

Current state of writing

[Elias Castegren @CartesianGlee]

@JAldrichPL In English, I go with the autobiography of one of the Animaniacs: "I, Wakko". In Swedish I would go for something more like "ih-wha-co", with the accent on the "wha". I also like mirroring "Idaho". There are many possibilities (much like at the workshop!)

[Elias Castegren @CartesianGlee]

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!

[Alex Boruch-Gruszecki @abgruszecki]

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: https://t.co/jJGvthITSY

[Elias Castegren @CartesianGlee]

@_foxandsheep My three-year old managed to derail your train somehow… Sorry about that!

[Elias Castegren @CartesianGlee]

@drossopoulou Huge congratulations! Can think of few people who deserve it more!

[Elias Castegren @CartesianGlee]

I would love to teach them some Coq or Isabelle, but for a 5 credit undergrad course there is only so much you can cram in there. I’m looking to keep the overhead low.

[Elias Castegren @CartesianGlee]

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 @CartesianGlee]

I wonder if they serve nasal demons?

[Elias Castegren @CartesianGlee]

@JulesJacobs5 @christophkirsch https://t.co/KQMdh7eJdO

[Elias Castegren @CartesianGlee]

@JulesJacobs5 @christophkirsch’s Selfie project could be relevant.

[Elias Castegren @CartesianGlee]

@afd_icl My goto example for explaining complexity is putting socks in a washing machine (linear time) vs. pairing them up afterwards (quadratic). Doubling the number of socks doubles and quadruples time taken. Maybe not the most compelling example for a 14 year old though :)

[David Broman @DavidKarlBroman]

Today my Ph.D. student Viktor Palmkvist made an excellent presentation of our paper on Statically Resolvably Ambiguity at POPL 2023 in Boston, https://t.co/2gJ8mrBuYf. I'm really proud of the work and Viktor's results. See the open access version: https://t.co/R23olll9Ii

[Elias Castegren @CartesianGlee]

@JAldrichPL Thanks for recording it! I’m torn between tutorials and now I’m happy to know I won’t miss it completely.

[Elias Castegren @CartesianGlee]

@jameskjx @poplconf Looking forward to it!