Oskar Abrahamsson

Publikationer (11)
Projekt (0)

Visar 11 publikationer

2023

PureCake: A Verified Compiler for a Lazy Functional Language

Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson et al

Proceedings of the ACM on Programming Languages. Vol. 7

Artikel i vetenskaplig tidskrift

2023

Fast, Verified Computation for Candle

Oskar Abrahamsson, Magnus Myreen

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 268

Paper i proceeding

2023

Cakes That Bake Cakes: Dynamic Computation in CakeML

Thomas Sewell, Magnus Myreen, Yong Kiam Tan et al

Proceedings of the ACM on Programming Languages. Vol. 7

Artikel i vetenskaplig tidskrift

2022

A Verified Theorem Prover for Higher-Order Logic

Oskar Abrahamsson

Doktorsavhandling

Visa projekt

2022

Candle: A Verified Implementation of HOL Light

Oskar Abrahamsson, Magnus Myreen, Ramana Kumar et al

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 237

Paper i proceeding

2020

A verified proof checker for higher-order logic

Oskar Abrahamsson

Journal of Logical and Algebraic Methods in Programming. Vol. 112

Artikel i vetenskaplig tidskrift

2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar et al

Journal of Automated Reasoning. Vol. 64 (7), p. 1287-1306

Artikel i vetenskaplig tidskrift

2020

Verified proof checking for higher-order logic

Oskar Abrahamsson

Licentiatavhandling

Visa projekt

2019

Verified Compilation on a Verified Processor

Andreas Lööw, Ramana Kumar, Yong Kiam Tan et al

PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), p. 1041-1053

Paper i proceeding

2018

Automatically introducing tail recursion in CakeML

Oskar Abrahamsson, Magnus Myreen

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10788, p. 118-134

Paper i proceeding

2018

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Son Ho, Oskar Abrahamsson, R. Kumar et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10900, p. 646-662

Paper i proceeding

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 Oskar Abrahamsson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.