Suggesting valid hole fits for typed-holes (experience report). - Matthías Páll Gissurarson (Haskell@ICFP, 2018)

Short Paper: Weak Runtime-Irrelevant Typing for Security. - Matthías Páll Gissurarson; Agustín Mista (PLAS@CCS, 2020)

PROPR: Property-Based Automatic Program Repair. - Matthías Páll Gissurarson; Leonhard Applis; Annibale Panichella; Arie van Deursen; David Sands 001 (ICSE, 2022)

Spectacular: Finding Laws from 25 Trillion Terms. - Matthías Páll Gissurarson; Diego Roque; James Koppel (ICST, 2023)

CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. - Matthías Páll Gissurarson; Leonhard Herbert Applis (IFL, 2023)

Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information. - Leonhard Applis; Matthías Páll Gissurarson; Annibale Panichella (ICST, 2025)