Sledovať
Matthías Páll Gissurarson
Matthías Páll Gissurarson
PhD in Functional Programming from Chalmers University of Technology
Overená e-mailová adresa na: chalmers.se - Domovská stránka
Názov
Citované v
Citované v
Rok
PropR: Property-Based Automatic Program Repair
MP Gissurarson, LH Applis, A Panichella, A van Deursen, D Sands
44th International Conference on Software Engineering (ICSE 2022), 2022
222022
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
MP Gissurarson
ACM SIGPLAN International Symposium on Haskell 11, 179-185, 2018
172018
Suggesting Valid Hole Fits for Typed-Holes in Haskell
MP Gissurarson
Chalmers University of Technology, 2018
52018
CSI: Haskell-Tracing Lazy Evaluations in a Functional Language
MP Gissurarson, LH Applis
Proceedings of the 35th Symposium on Implementation and Application of …, 2023
22023
Spectacular: Finding Laws from 25 Trillion Terms
MP Gissurarson, D Roque, J Koppel
16th IEEE International Conference on Software Testing, Verification and …, 2023
22023
The Hole Story: Type-Driven Synthesis and Repair
MP Gissurarson
Chalmers University of Technology, 2022
22022
Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information
LH Applis, MP Gissurarson, A Panichella
The 18th IEEE International Conference on Software Testing, Verification and …, 2025
2025
Synthesis and Repair for Functional Programming: A Type-and Test-Driven Approach
MP Gissurarson
PQDT-Global, 2024
2024
CSI
MP Gissurarson, LH Applis
2023
CSI: Haskell
MP Gissurarson
Poster, 2022
2022
Short Paper: Weak Runtime-Irrelevant Typing for Security
MP Gissurarson, A Mista
Proceedings of the 15th Workshop on Programming Languages and Analysis for …, 2020
2020
Saving memory by consolidating fragmented lists
JT Kristensen, MP Gissurarson
35th Nordic Workshop on Programming Theory (NWPT), 0
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–12