With these dimensions of design variance defined, you could also make a closeness measure in 9-dimensional space and identify the most or least similar combos.

Also a great teaching tool, if someone knows one async system, to be able to show them the differences on each axis from their prior one to a new one they’re learning.

The paper explores how async/await behaves across today's languages: https://arxiv.org/abs/2608.20677

Beautiful

It would be a fun coding agent benchmark to have them translate such a program between the different languages and see whether they preserve the respective semantics.

Amazing work. It's one thing to say "async is complex". It's another to parse that statement so carefully as to have a cross-language theory of async execution. Looking forward to digging into this!

Great work. Must read for anyone working with this type of concurrency.