Chalmers Research

Filter search results

Department

Co-author organization

Publication type

Year

No filters selected

Showing 12 publications

2025

Fast, Verified Computation for HOL ITPs

Oskar Abrahamsson, Magnus Myreen, M. Norrish et al

Journal of Automated Reasoning (1)

Journal article

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

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

Journal article

2023

Fast, Verified Computation for Candle

Oskar Abrahamsson, Magnus Myreen

Leibniz International Proceedings in Informatics, LIPIcs

Paper in proceeding

2022

A Verified Theorem Prover for Higher-Order Logic

Oskar Abrahamsson

Doctoral thesis

2022

Candle: A Verified Implementation of HOL Light

Oskar Abrahamsson, Magnus Myreen, Ramana Kumar et al

Leibniz International Proceedings in Informatics, LIPIcs

Paper in proceeding

2020

A verified proof checker for higher-order logic

Oskar Abrahamsson

Journal of Logical and Algebraic Methods in Programming

Journal article

2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar et al

Journal of Automated Reasoning (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

Download to your computer

Download publication list

You can download this list to your computer.

Export in APA, Vancouver, IEEE as plain text, RTF/Word or html-format.

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.

RSS feed

If you're using an RSS reader or want to do an integration this link will give you the latest publications in RSS format.

Publications for Chalmers University of Technology

No projects found matching the query Persons.PersonData.IdentifierCid:aboskar

There might be more projects, but you have to be logged in as a Chalmers employee to see them.

A technical error occured when searching for projects.

This can be caused by an unsupported field namn specified in the search string.

No persons found matching the query Persons.PersonData.IdentifierCid:aboskar