Matthías Páll Gissurarson

Orcid: 0000-0001-6693-8454

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language.
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

Spectacular: Finding Laws from 25 Trillion Terms.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022
PROPR: Property-Based Automatic Program Repair.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020
Short Paper: Weak Runtime-Irrelevant Typing for Security.
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).
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018


  Loading...