Catarina Gamboa
where else to find them
bluesky:catarinavgamboa.bsky.social
what they talk about
where they keep going back
- HATRA2 editions2023–2025
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Usability Barriers for Liquid Types (Summary of Published Work) | HATRA 2025 | 2025-10-14 |
Study of 19 developers (12 new to LiquidHaskell, 7 experienced) identifies nine concrete barriers across three themes: verification, developer experience, and… | ||
| Usability Barriers for Liquid Types | PLDI 2025 | 2025-06-16 |
Study reports a user study of LiquidHaskell with 12 novice and several experienced participants, yielding nine barriers across three concrete categories… | ||
| Latte: Lightweight Aliasing Tracking for Java | IWACO 2023 | 2023-10-24 |
A formal alias-tracking type system for Java that requires annotations only on parameters and fields, infers all local aliases, and enforces unique parameters… | ||
| Latte: Lightweight Aliasing Tracking for Java | HATRA 2023 | 2023-10-22 |
Latte adds a lightweight aliasing layer to Java that only requires annotations on parameters and fields while inferring local variable annotations, tracks… | ||
| nothing matches | ||