65 citations · 73 across the 7 of their papers we have counts for
4 papers · 1 filter
Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
Simon Fowler, Raymond Hu
Actor languages such as Erlang and Elixir are widely used for implementing scalable and reliable distributed applications, but the informally-specified nature of actor communicatio…
Statically Verified Refinements for Multiparty Protocols
Fangyi Zhou, Francisco Ferreira, Raymond Hu +2
With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typi…
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Andi Bejleri, Raymond Hu, Nobuko Yoshida
This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parall…