Oskar Abrahamsson

According to our database, Oskar Abrahamsson authored at least 9 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Cakes That Bake Cakes: Dynamic Computation in CakeML.

Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens

Proc. ACM Program. Lang., 2023

PureCake: A Verified Compiler for a Lazy Functional Language.

Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti

Proc. ACM Program. Lang., 2023

Fast, Verified Computation for Candle.

Oskar Abrahamsson, Magnus O. Myreen

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Candle: A Verified Implementation of HOL Light.

Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

A verified proof checker for higher-order logic.

Oskar Abrahamsson

J. Log. Algebraic Methods Program., 2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions.

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

J. Autom. Reason., 2020

2019

Verified compilation on a verified processor.

Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

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

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Automatically Introducing Tail Recursion in CakeML.

Oskar Abrahamsson, Magnus O. Myreen

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017