Matthías Páll Gissurarson

Doktorand vid Informationssäkerhet

Källa: chalmers.se
gravatar.com image

Visar 6 publikationer

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
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.