Resources

Papers

• Usability-Oriented Design of Liquid Types for Java, ICSE 2023

Posters

• Usability-Oriented Design of Liquid Types for Java, ICSE 2023 Digital Poster Session
• LiquidJava: Adding Lightweight Verification to Java, INForum 2021
• Improving the Usability of LiquidJava, 11th LASIGE Workshop Poster Session
• Barista: Synthesizing Typestate Specifications with LLM Agents, 11th LASIGE Workshop Poster Session

GitHub Repositories

• liquidjava
• vscode-liquidjava
• liquidjava-examples
• liquidjava-tutorial
• liquid-java-external-libs
• liquidjava-docs

Website

• LiquidJava Website