Ping Hou

University of Oxford

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Yang Li (1)Nobuko Yoshida (1)

Papers (1)

Jul 30, 2026

Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models

Syntropy achieves up to 99.5% validity in generating deadlock-free protocol refinements, revolutionizing how we ensure correctness in distributed systems.

Yang Li, Ping Hou, Nobuko Yoshida

Code Generation & Program Synthesis Distributed Systems & Hardware

Search

Ping Hou

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)