From the 1 of 3 linked papers with an AI index.
3 papers
cs.SE2026
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
Yang Li, Ping Hou, Nobuko Yoshida
The paper introduces Syntropy, a framework that uses large language models guided by multiparty session type specifications to automatically synthesize deadlock‑free refinements of…
cs.PL2026
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
Ping Hou, Nobuko Yoshida, Iona Kuhn
Ensuring correctness of communication in distributed systems remains challenging. To address this, Multiparty session types (MPST), initially introduced by Honda et al. [52, 53], o…
cs.LO2025
Crash-Stop Failures in Asynchronous Multiparty Session Types
Adam D. Barwell, Ping Hou, Nobuko Yoshida +1
Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures.…