Folgen
Matthías Páll Gissurarson
Matthías Páll Gissurarson
PhD student in Functional Programming at Chalmers University of Technology
Bestätigte E-Mail-Adresse bei chalmers.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
152022
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
MP Gissurarson
ACM SIGPLAN International Symposium on Haskell 11, 179-185, 2018
132018
Suggesting Valid Hole Fits for Typed-Holes in Haskell
MP Gissurarson
Chalmers University of Technology, 2018
42018
Spectacular: Finding Laws from 25 Trillion Terms
MP Gissurarson, D Roque, J Koppel
16th IEEE International Conference on Software Testing, Verification and …, 2023
2023
CSI: Haskell-Tracing Lazy Evaluations in a Functional Language
MP Gissurarson, L Applis
2023
CSI: Haskell
MP Gissurarson
Poster, 2022
2022
The Hole Story: Type-Driven Synthesis and Repair
MP Gissurarson
Chalmers University of Technology, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8