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

From the 1 of 3 linked papers with an AI index.

most citedLess is More Revisited: Association with Global Protocols and Multiparty Sessions

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

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…