Lightnews — Scholar-powered news

Dan Plyukhin @dplyukhin.bsky.social · Sep 1

Finally making plans to attend SPLASH in Singapore next month! First time a conference "travel etiquette" page has warned me about receiving the Death Penalty 😄😄😄😰

1 1 3

Dan Plyukhin @dplyukhin.bsky.social · Jul 28

If you always wanted to learn about the semantics of languages like Choral and HasChor, look no further! dplyukhin.github.io/files/relax-...

dplyukhin.github.io

Dan Plyukhin @dplyukhin.bsky.social · Jul 28

Highlights:

(1) Past models need dozens of rules to explain the semantics. Ours has ten.

(2) We give laws to help you design the right semantics. The laws work: we found three bugs in previous versions of Chorλ.

(3) Ours is similar to non-strict calculi, but with a "choreographic" flavor.

1

Dan Plyukhin @dplyukhin.bsky.social · Jul 28

Choreographic λ-calculi are a hot topic. You might know models like Pirouette (POPL 2022) or Chorλ (ICTAC 2022).

But did you know researchers don't agree what the "right" semantics should even be?

Our ICFP pearl builds a tiny calculus from scratch, and shows the right semantics is... non-strict!?

1 1

Dan Plyukhin @dplyukhin.bsky.social · Jul 24

Hey CS instructors and TAs, what’s your policy on students using LLMs?

(A) not allowed
(B) sometimes allowed
(C) required or encouraged

1

Dan Plyukhin @dplyukhin.bsky.social · Jul 17

I think so too! A few interesting research problems to solve before it’s ready for production though, eg, rethinking some akka/pekko APIs to work well with actor GC

1

Dan Plyukhin @dplyukhin.bsky.social · Jul 16

Ikr! I bet you could find ideas in forums, but I spoke to Jonas Bonér and he never mentioned any projects on that front. Maybe because fault recovery comes across as an intractably hard problem?

1 1

Dan Plyukhin @dplyukhin.bsky.social · Jun 23

I gave a talk at PLDI '25 about the future of Actor GC in Apache Pekko - with applications to #akka #erlang and #elixir. It's the culmination of my 6+ year PhD at UIUC, and I tried to make the talk really fun and easy to follow :)

Check it out here: www.youtube.com/live/lGM37Z3...

The title is "CRGC: Fault-Recovering Actor GC in Apache Pekko". The authors are Dan Plyukhin (SDU), Gul Agha (UIUC), and Fabrizio Montesi (SDU)

1 2 4

Dan Plyukhin @dplyukhin.bsky.social · Jun 20

If you're reading this post, you're probably procrastinating. Why not watch my PLDI talk, "CRGC: Fault-Recovering Actor GC in Apache Pekko"?

It goes live in 1 hr (11:30 KST). I tried to make it entertaining 🙂

#akka #erlang #elixir www.youtube.com/live/lGM37Z3...

[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 20th)

YouTube video by ACM SIGPLAN

www.youtube.com

2

Dan Plyukhin @dplyukhin.bsky.social · Apr 28

For the record I agree that state sponsored killing is wrong in any context, but not for the reason you cited. The joke tries to get at why I think the logic in the post is a bit twisted

Dan Plyukhin @dplyukhin.bsky.social · Apr 27

If there are crimes for which death is too extreme a sentence, and crimes for which it is not extreme enough, by the intermediate value theorem aren’t there crimes for which it’s appropriate? /s

1 2

Dan Plyukhin @dplyukhin.bsky.social · Apr 12

A decent employee (me) sabotaged by an awful manager (also me)

1

Reposted by Dan Plyukhin

Peter Ullrich @peterullrich.com · Apr 8

Sometimes it takes me all day to get nothing done

5 4 29

Dan Plyukhin @dplyukhin.bsky.social · Mar 31

Under the hood, #Erlang does a lot of tricks to improve performance.

The fields of this C struct are modified by different CPUs. If you packed fields normally, modifications by one CPU will invalidate the cache of another CPU.

So the devs added padding, and now fields are on different cache lines!

$typedef struct { /* * Data mainly modified when someone is listing * the content of the table. */ union { ErtsPTabListData data; char algn[ERTS_ALC_CACHE_LINE_ALIGN_SIZE(sizeof(ErtsPTabListData))]; } list;$

3