← Feed

Posts

• View post

  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/

• View post

  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%20Cric...

• View post

  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/blo...