• Publications
  • Influence
Session-Based Distributed Programming in Java
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Session types provide high-level abstraction for structuring aExpand
  • 141
  • 19
The Scribble Protocol Language
This paper describes a brief history of how Kohei Honda initiated the Scribble project, and summarises the current status of Scribble.
  • 79
  • 8
Type-Safe Eventful Sessions in Java
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However, traditionalExpand
  • 72
  • 6
Hybrid Session Verification Through Endpoint API Generation
This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multipartyExpand
  • 58
  • 5
Explicit Connection Actions in Multiparty Session Types
This work extends asynchronous multiparty session types MPST with explicit connection actions to support protocols with optional and dynamic participants. The actions by which endpoints are connectedExpand
  • 27
  • 4
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Multiparty Session Types (MPST) is a typing discipline for message-passing distributed processes that can ensure properties such as absence of communication errors and deadlocks, and protocol Expand
  • 39
  • 3
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations (Ocean ObservatoriesExpand
  • 54
  • 2
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python
The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations [33,28] on Scribble,Expand
  • 43
  • 2
Parameterised Multiparty Session Types
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. This paper proposesExpand
  • 95
  • 1
Behavioral Types in Programming Languages
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompassExpand
  • 77
  • 1