Viewing profile — dmulligan

Ha, I actually wrote a paper pushing on this "kernel" pun between OSs and proof-checkers [1], designing a HOL kernel structured like an OS kernel. [1]: https://drops.dagstuhl.de/st…

\documentclass{article} \title{Natural selection in the Health and Retirement Study} \author{XXX} \date{September 2023} \begin{document} \maketitle \begin{abstract} I investigate n…

I grew up in Greater Manchester, a heavily-industrialised part of the UK, where locally the main industries were at one time coal mining and cotton milling. Members of my family wo…

It was present in SML codebases earlier than F# (it's used everywhere in the Isabelle codebase, for example, and that's where I first came across it).

That's right!

> It turns out that it is possible if you do it in a special way with locales What was special about it? From memory, the formalisation [1] proceeded exactly how you would expect. …

Ha, I'm not sure! I just write papers, the vagaries of how and why journals and conference proceedings are published the way that they are is beyond my ken. Looking back through so…

See our latest paper [0] for an atomic move operation on replicated trees. [0]: https://dominicpm.github.io/publications/kleppmann-highly-av...

There's a lot of projects working in this area to make enclaves easier to manage and deploy, e.g. Veracruz [0] which I work on. [0]: https://github.com/veracruz-project/veracruz

Arm Research | Security Technical Lead | Cambridge, UK | Fulltime, Onsite Arm Research’s Security group is tasked with securing the Arm architecture, developing new security-relate…