cd/entity/LiquidJava· home› entities› LiquidJava
grep -l @liquidjava /news/*.json | wc -l → 1

LiquidJava

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

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…

// co-occurs with top 7 entities
Barista 1 java.net.Socket 1 Claude Code 1 Claude Agent SDK 1 Sonnet 4.6 1 ASE 2026 1 LASIGE Workshop 2026 1
// topics top 5 topics
ai agents 1 large language models 1 ai research 1 developer tools 1 agent protocols 1