conf.researchr.org / Matthías Páll Gissurarson
Matthías Páll Gissurarson

Registered user since Fri 27 Jul 2018

Name:Matthías Páll Gissurarson
Bio:

Matthías Páll Gissurarson is a PhD student at Chalmers University of Technology. His interests include functional programming, typed-holes, program synthesis, compilers, security, and repair.

Country:Sweden
Affiliation:Chalmers University of Technology, Sweden
Personal website:https://mpg.is
Twitter:https://twitter.com/Tritlo
GitHub:https://github.com/Tritlo
Research interests:Functional Programming, Typed-Holes, Program Synthesis, Security, and Repair

Contributions

POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2022 Author of Demos within the Haskell 2022-track
Presenter of GHC Proposal Presentations within the Haskell 2022-track
ICFP 2022 Author of CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing within the Student Research Competition-track
HIW 2022 Author of CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing within the HIW 2022-track
ICSE 2022 Author of PropR: Property-Based Automatic Program Repair within the Technical Track-track
HIW 2021 Author of The Dynamic Haskell Plugin for GHC within the HIW 2021-track
HIW 2019 Author of HoleFitPlugins and the future of interactive development in GHC within the HIW 2019-track
Haskell 2018 Author of Suggesting Valid Hole Fits for Typed-Holes (Experience Report) within the Haskell 2018-track