Here are some of the projects I've worked on in the past year
- Spring 2014:
- Modifitication and Evaluation of Linux IO Schedulers | Report
Fall 2013::
- A study of channel capture effect in 802.11 | Report
I presented a poster on the same at the CRA-W grad cohort-2014 | Poster
- Formal Verification of XMHF Page table setup | Report