works on
deadlock freedom 1large language models 1protocol synthesis 1refinement 1session types 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

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…