65 citations · 73 across the 7 of their papers we have counts for
7 papers
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…
Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea +1
We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state…
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…
Parameterised Multiparty Session Types
Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri +1
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T…
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida +1
The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world progra…
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…