Artifact for "Usability Barriers for Liquid Types"
Year: 2025
Type: article
Abstract: This artifact contains all components related to our qualitative study on developer experiences with LiquidHaskell for the paper "Usability Barriers for Liquid Types". It includes the recruitment documents, study protocols, and interview guides used with our participant groups (new users, current users, and former users), as well as the LiquidHaskell tutorial website used during our observation sessions with new users. Additionally, it contains the complete codebook of our thematic analysis with code definitions and example quotes that directly correspond to the findings presented in our paper. All materials are provided as PDF documents and spreadsheets, requiring only standard viewing software. The artifact demonstrates the methodological rigor of our qualitative approach and enables replication of our study procedures.
Authors: Gamboa, Catarina, Reese, Abigail, Fonseca, Alcides, Aldrich, Jonathan
Institutions: University of Lisbon, Carnegie Mellon University
Language: English
Subfield: Human-Computer Interaction
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6949515268