Link Removed(an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, Link Removed that takes a new approach to building an OS stack with verifiable and type safe...
architecture
design
error verification
garbage collection
hoare logic
kernel
microsoft
nucleus
operating system
os design
programming
researchresearchscientist
safety
static verification
system software
theorem prover
type safety
typed assembly language
verve