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
Open Access icon

The Hole Story: Type-Directed Synthesis and Repair

Matthías Páll Gissurarson
Licentiatavhandling
2022
Open Access icon

PropR: Property-Based Automatic Program Repair

Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella et al
Proceedings - International Conference on Software Engineering
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.

Feedback och support

Om du har frågor, behöver hjälp, hittar en bugg eller vill ge feedback kan du göra det här nedan. Du når oss också direkt per e-post research.lib@chalmers.se.

Om tjänsten

Research.chalmers.se innehåller information om forskning på Chalmers, publikationer och projekt inklusive information om finansiärer och samarbetspartners.

Läs mer om tjänsten, täckningsgrad och vilka som kan se informationen

Personuppgifter och cookies

Tillgänglighet

Citation Style Language
citeproc-js (Frank Bennett)

Länkar

Chalmers bibliotek
Chalmers forskning
Chalmers examensarbeten

Chalmers tekniska högskola

412 96 GÖTEBORG
TELEFON: 031-772 10 00
WWW.CHALMERS.SE