| title | Resources |
|---|---|
| nav_order | 7 |
| has_children | false |
| permalink | /resources/ |
| description | Find LiquidJava papers, posters, and source repositories for deeper reading and experimentation. |
- 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