Remote

Will Crichton ⍢

@tonofcrates@mastodon.social

mastodon 4.8.0-nightly.2026-10-06

Cognitive engineer, assistant professor of computer science at Brown.

0 Followers

0 Following

3 Posts

Joined October 05, 2023

Website:

https://willcrichton.net/

Research Lab:

https://cel.cs.brown.edu/

Will Crichton ⍢ @tonofcrates@mastodon.social

· 4w ago

Boosted by @joe@f.duriansoftware.com

I'm super excited to share our upcoming paper at OOPSLA'26, "A Design Space Exploration of Async/Await". This paper asks: how differently does async/await behave across today's languages? (More than you might expect!) And what the heck is "structured concurrency", really? Check out our ~interactive~ blog post introducing the paper: https://cel.cs.brown.edu/blog/design-space-async-await/

cel.cs.brown.edu

A Design Space Exploration of Async/Await

Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of async/await so you can find out where your language stands.

141

Will Crichton ⍢ @tonofcrates@mastodon.social

· 17mo ago

If you've ever struggled with trait/typeclass compiler errors, or if you're interested in better user interfaces for compiler diagnostics, check out our upcoming PLDI paper: "An Interactive Debugger for Rust Trait Errors"

Rust famously has good error messages. But we found that with the right interface, people become ~3x faster at identifying the root cause of a trait error. See our blog post, including a live demo in your browser:

https://cel.cs.brown.edu/blog/an-interactive-debugger-for-rust-trait-errors

cel.cs.brown.edu

111

Will Crichton ⍢ @tonofcrates@mastodon.social

· 5mo ago

I'm going to be at CHI until Saturday! Say hi if you're around. I'll be talking about my new curriculum for an undergrad course on Tools for Thought:
https://ai-tools-for-thought.github.io/workshop/documents/chi26/Crichton_Curriculum_for_Tools_for_Thought_TfT_CHI26.pdf

And about some ideas for building better document infrastructure for augmented reading:
https://chi-star-workshop.github.io/src/assets/pdf/papers/DocumentInfrastructureForAugmentedReading%20-%20Will%20Crichton.pdf

ai-tools-for-thought.github.io