Magnus O. Myreen

CakeML developer: https://cakeml.org/

Myreen studied Computer Science at Oxford. Completed his PhD at Cambridge in 2009, where he continued as a postdoc and then Royal Society university research fellow. Moved to Chalmers in 2014, where he is now an associate professor.

Verified Hash Map and Buffered I/O Libraries for CakeML

AUTHORS: John Lind, Nebojsa Mihajlovic and Magnus O. Myreen  

This paper reports on the addition of two new components to the CakeML standard library, namely, a verified hash map data structure and support for buffered I/O. Both of these additions make use of the stateful features of the CakeML language in order to provide users with better performance in their CakeML applications.

←Back