Oskar Abrahamsson

Doctoral Student at Formal methods

Showing 2 publications

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 in proceedings
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 in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

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.