Matthías Páll Gissurarson

According to our database, Matthías Páll Gissurarson authored at least 5 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CSI: Haskell - Tracing Lazy Evaluations in a Functional Language.

Matthías Páll Gissurarson, Leonhard Herbert Applis

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

Spectacular: Finding Laws from 25 Trillion Terms.

Matthías Páll Gissurarson, Diego Roque, James Koppel

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

PROPR: Property-Based Automatic Program Repair.

Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Short Paper: Weak Runtime-Irrelevant Typing for Security.

Matthías Páll Gissurarson, Agustín Mista

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2018

Suggesting valid hole fits for typed-holes (experience report).

Matthías Páll Gissurarson

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018