Oskar Abrahamsson

Showing 11 publications

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
Journal article
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
Journal article
2023

Fast, Verified Computation for Candle

Oskar Abrahamsson, Magnus Myreen
Leibniz International Proceedings in Informatics, LIPIcs. Vol. 268
Paper in proceeding
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 in proceeding
2020

A verified proof checker for higher-order logic

Oskar Abrahamsson
Journal of Logical and Algebraic Methods in Programming. Vol. 112
Journal article
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
Journal article
2020

Verified proof checking for higher-order logic

Oskar Abrahamsson
Licentiate thesis
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 in 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 LNCS, p. 118-134
Paper in 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 LNAI, p. 646-662
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Oskar Abrahamsson participates, but you have to be logged in as a Chalmers employee to see them.