\documentclass{article} \title{Natural selection in the Health and Retirement Study} \author{XXX} \date{September 2023} \begin{document} \maketitle \begin{abstract} I investigate natural selection on polygenic scores in…
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 worked in cotton mills, and the machines…
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. Locales are simply an Isabelle…
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 some of my other papers it seems that…
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-related technology, and keeping the rest of…
\documentclass{article} \title{Natural selection in the Health and Retirement Study} \author{XXX} \date{September 2023} \begin{document} \maketitle \begin{abstract} I investigate natural selection on polygenic scores in…
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 worked in cotton mills, and the machines…
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. Locales are simply an Isabelle…
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 some of my other papers it seems that…
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-related technology, and keeping the rest of…