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

GitHub Repositories

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

Website

• LiquidJava Website