Matthías Páll Gissurarson

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Functional Language

Top Venues

Publications

Matthías Páll Gissurarson, Leonhard Herbert Applis
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language. IFL (2023)
Matthías Páll Gissurarson, Diego Roque, James Koppel
Spectacular: Finding Laws from 25 Trillion Terms. ICST (2023)
Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands
PROPR: Property-Based Automatic Program Repair. ICSE (2022)
Matthías Páll Gissurarson, Agustín Mista
Short Paper: Weak Runtime-Irrelevant Typing for Security. PLAS@CCS (2020)
Matthías Páll Gissurarson
Suggesting valid hole fits for typed-holes (experience report). Haskell@ICFP (2018)