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 | 15 | 2022 |
Suggesting Valid Hole Fits for Typed-Holes (Experience Report) MP Gissurarson ACM SIGPLAN International Symposium on Haskell 11, 179-185, 2018 | 13 | 2018 |
Suggesting Valid Hole Fits for Typed-Holes in Haskell MP Gissurarson Chalmers University of Technology, 2018 | 4 | 2018 |
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 |