Matthías Páll Gissurarson

Doktorand vid Informationssäkerhet

Källa: chalmers.se

Kontaktuppgifter ORCID

Publikationer (8)
Projekt (0)

Visar 8 publikationer

2024

Synthesis and Repair for Functional Programming: A Type- and Test-Driven Approach

Matthías Páll Gissurarson

Doktorsavhandling

2023

Spectacular: Finding Laws from 25 Trillion Terms

Matthías Páll Gissurarson, Diego Roque, James Koppel

Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, p. 293-304

Paper i proceeding

2023

CSI: Haskell - Tracing Lazy Evaluations in a Functional Language

Matthías Páll Gissurarson, Leonhard Applis

IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages (1)

Paper i proceeding

2022

The Hole Story: Type-Directed Synthesis and Repair

Matthías Páll Gissurarson

Licentiatavhandling

2022

PropR: Property-Based Automatic Program Repair

Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella et al

Proceedings - International Conference on Software Engineering. Vol. 2022-May

Paper i proceeding

2020

Short Paper: Weak Runtime-Irrelevant Typing for Security

Matthías Páll Gissurarson, Claudio Agustin Mista

PLAS 2020 - Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, p. 13-17

Paper i proceeding

2018

Suggesting valid hole fits for typed-holes (experience report)

Matthías Páll Gissurarson

Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018, p. 179-185

Paper i proceeding

2018

Suggesting valid hole fits for typed-holes (experience report)

Matthías Páll Gissurarson

ACM SIGPLAN Notices. Vol. 53 (7), p. 179-185

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Matthías Páll Gissurarson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.