latent genius and reformed playboy

Activity

Pinned repositories

OCaml tooling for tracing Xen guest address translation

OCaml
12

SMT x86_64 TSO model checking and minimum fence synthesis

OCaml
7

seL4 pager with proven memory isolation and frame reuse

OCaml
8