Skip to content

Commit 1742eea

Browse files
committed
Add Posters
1 parent e1c2657 commit 1742eea

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

pages/resources.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,10 @@ description: Find LiquidJava papers, posters, and source repositories for deeper
1414

1515
## Posters
1616

17-
- [Usability-Oriented Design of Liquid Types for Java](https://icse2023.paperlessevents.com.au/share/Gamboa-85), ICSE 2023 digital poster session
17+
- [Usability-Oriented Design of Liquid Types for Java](https://icse2023.paperlessevents.com.au/share/Gamboa-85), ICSE 2023 Digital Poster Session
1818
- [LiquidJava: Adding Lightweight Verification to Java](https://catarinagamboa.github.io/assets/docs/poster_LiquidJava.pdf), INForum 2021
19+
- [Improving the Usability of LiquidJava](https://rcosta358.github.io/improving_the_usability_of_liquidjava.pdf), 11th LASIGE Workshop Poster Session
20+
- [Barista: Synthesizing Typestate Specifications with LLM Agents](https://rcosta358.github.io/barista.pdf), 11th LASIGE Workshop Poster Session
1921

2022
## GitHub Repositories
2123

0 commit comments

Comments
 (0)