BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
R.Kumar M.O.Myreen Y.K.Tan M.Norrish S.Ho Andreas Lööw Anthony C. J. Fox
Talks about:
verifi (2) processor (1) synthesi (1) function (1) produc (1) compil (1) state (1) proof (1) monad (1) local (1)

Person: Oskar Abrahamsson

DBLP DBLP: Abrahamsson:Oskar

Contributed to:

IJCAR 20182018
PLDI 20192019

Wrote 2 papers:

IJCAR-2018-HoAKMTN #monad #synthesis
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions (SH, OA, RK, MOM, YKT, MN), pp. 646–662.
PLDI-2019-LoowKTMNAF #compilation
Verified compilation on a verified processor (AL, RK, YKT, MOM, MN, OA, ACJF), pp. 1041–1053.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.