Author pages are created from data sourced from our academic publisher partnerships and public sources.
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 a… Expand
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.
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, traditional… Expand
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 multiparty… Expand
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 connected… Expand
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
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- R. Demangeon, K. Honda, R. Hu, R. Neykova, N. Yoshida
- Computer Science
- Formal Methods Syst. Des.
- 1 June 2015
The rigorous and comprehensive verification of communication-based software is an important engineering challenge in distributed systems. Drawn from our industrial collaborations (Ocean Observatories… Expand
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
Parameterised Multiparty Session Types
- Pierre-Malo Deniélou, N. Yoshida, Andi Bejleri, R. Hu
- Computer Science
- Log. Methods Comput. Sci.
- 31 August 2012
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 proposes… Expand
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 encompass… Expand