~james
132 commits in the past 12 months
NovDecJanFebMarAprMayJunJulAugSepOct
MonWedFri
less more
scope
OCaml tooling for tracing Xen guest address translation
reorder
SMT x86_64 TSO model checking and minimum fence synthesis
split
seL4 pager with proven memory isolation and frame reuse
remy
Verified pixel compiler for TempleOS in Isabelle/HOL
span
Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts