05:16
2026-10-15
catarinagamboa.github.io
ai-agents
Barista: Synthesizing Typestate Specifications with LLM Agents
Researchers developed Barista, an LLM-agent system that reads Java Javadoc prose and synthesizes LiquidJava typestate specifications, demonstrated on java.net.Socket's seven documented states. The wor…