19 citations · 45 across the 14 of their papers we have counts for
7 papers · 1 filter
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channe…
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Marco Carbone, Rumyana Neykova
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practica…
kmclib: Automated Inference and Verification of Session Types
Keigo Imai, Julien Lange, Rumyana Neykova
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at t…
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…
Multiparty Session Programming with Global Protocol Combinators
Keigo Imai, Rumyana Neykova, Nobuko Yoshida +1
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating proces…
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…
Session Types Go Dynamic or How to Verify Your Python Conversations
Rumyana Neykova
This paper presents the first implementation of session types in a dynamically-typed language - Python. Communication safety of the whole system is guaranteed at runtime by monitor…