Projects
I am going to keep this page updated with the latest information on projects I have worked on and am currently working on. For now, enjoy these pretty pictures generated by my ray tracer written for cs123 as well as "exciting" screen shots of my operating system from cs167/9. See if you can figure out which pictures are from which project.
Protection Domains
- Operating system dynamic access control
- Creating a "sandbox environment" in Linux
- Adds fine-grained subject based access control in addition to traditional object based access control to the Linux kernel (2.6.10)
- Technical report available here
ASM Transducer Dynamic Verification
- Modeled Continue Conference Manager as a verifiable ASM Relational Transducer
- Created and proved properties of a module operator to ease the creation of ASM Relational Transducers
- International ASM Workshop, 2007 paper available here
- Technical report available here
Unix-based Operating System
- Wrote a full working Unix-based Operating System
- Contains a multi-threaded kernel, full kernel mutex system, doubly layered file system (virtual file system and s5fs), and full working virtual memory
