Research
Ethos
My current research involves Ethos, an clean-slate operating system designed to be secure.
Ethos is
intended to make it far easier to write applications which are robust against attack. It is a mammoth undertaking. It involves architecture, software layering, OS design and implementation, and programming language porting. We’re rethinking many aspects of OS design, and this increases project complexity.
Ethos is building on top of Xen hypervisor. We really benefit from the thrive of VMMs.
Here is an ascii graph that shows the architecture which Ethos adopts:
----------------------------- | Ethos <--|--> Linux | ---------------------------- | XEN | -----------------------------
Because
we do not want to deal with writing device drivers, file systems and networking at this early stage of Ethos. We still want a basic kernel that supports processes and a system call interface. This will suffice to evaluate the new secure system calls we'd be trying out.
Please refer to the following links for more details.
Projects
Ethos
- Ethos 64-bit porting improvements
- Ethos kernel stability (networking, interrupts, processes)
- Document object model (with awareness of collaboration) of Ethos Mark-up language
- Ethos reliable networking
Talks
- Poster: MinimaLT: Minimal Latency Networking Through Better Security. 2nd Greater Chicago Area System Research Workshop (GCASR), 05/2013. Poster
- Git. Advanced Programming Seminar at UIC Department of Computer Science, 03/2012. Recording
I am the coordinator of Advanced Programming Seminar 2012~2013. Check our website for more interesting talks.
Teaching
I have been the TA for CS 109 for the school year 2009-2010, including summer 2010. The instructor is Dr. John T. Bell for year 2009-2010 and Prof. John Lillis for summer 2010 respectively. My duties include instructing lab sessions, grading homework and quizzes, holding office hours, maintaining the website and blackboard, and assisting the instructor with any other issues.
Below are the resources that might be useful for studying the course: