Abigail Elena Reese
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
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… | ||
| nothing matches | ||