paper - final essay
Dec. 11th, 2009 12:32 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
vlionI finished 95% of my final essay for graduate Programming Language Theory. Whoo. I reviewed the development of the seL4 operating system, with attention to how the language affects verification. Still have to rewrite the conclusion. It's groady.
6 page paper, 28 citations. Waugh. Lotta fun reading though. I think I'm a born reader/nerd. It seems to be part of stuff I enjoy, digging around and finding out things. Problem is, someone else already knew those things.
seL4 is pretty spiffy. Pretty much fully verified, working on an ARM11 uniprocessor, x86 port on the way. Not really a desktop system, but you could use it as a hypervisor.
If you're into geekery & heavy math, I'd suggest reading up on it. The organization that sponsored it is NICTA in Australia.
All right then. Bedtime.
6 page paper, 28 citations. Waugh. Lotta fun reading though. I think I'm a born reader/nerd. It seems to be part of stuff I enjoy, digging around and finding out things. Problem is, someone else already knew those things.
seL4 is pretty spiffy. Pretty much fully verified, working on an ARM11 uniprocessor, x86 port on the way. Not really a desktop system, but you could use it as a hypervisor.
If you're into geekery & heavy math, I'd suggest reading up on it. The organization that sponsored it is NICTA in Australia.
All right then. Bedtime.
