Oskar Abrahamsson

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Semi Automatically

Datalog Queries

Higher Order Logic

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Oskar Abrahamsson, Magnus O. Myreen
Fast, Verified Computation for Candle. ITP (2023)
Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti
PureCake: A Verified Compiler for a Lazy Functional Language. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
Cakes That Bake Cakes: Dynamic Computation in CakeML. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, Thomas Sewell
Candle: A Verified Implementation of HOL Light. ITP (2022)
Oskar Abrahamsson
A verified proof checker for higher-order logic. J. Log. Algebraic Methods Program. 112 (2020)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Proof-Producing Synthesis of CakeML from Monadic HOL Functions. J. Autom. Reason. 64 (7) (2020)
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox
Verified compilation on a verified processor. PLDI (2019)
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. IJCAR (2018)
Oskar Abrahamsson, Magnus O. Myreen
Automatically Introducing Tail Recursion in CakeML. TFP (2017)