Areas of Interest
- Operating systems
- Computer networks & wireless networks
- Distributed systems
- File systems
Collaboration Available
While my primary focus at present is on teaching, I am interested in working with students on projects in the following areas:
- Automatic configuration of link-level retransmission
- Peer-to-peer file system architecture
- Distributed operating system structure (mostly in the context of Plan 9).
Completed Projects
Membership on committees of completed thesis projects
Ph.D.
- Ben Blum. Practical Concurrency Testing, or: How I Learned to Stop Worrying and Love the Exponential Explosion. CMU-CS-18-128 (2018).
- Greg Hartman. Attentiveness: Reactivity at Scale. CMU-ISR-10-111 (2010).
M.S.
- Qingyang Li. User Level Page Faults CMU-CS-20-124 (2020).
- Sanjay Chandrasekaran. Towards a Low-Memory-Footprint, Container-Based IoT Security Gateway CMU-CS-19-117 (2019).
- Da-Yoon Chung. OpenISR 2.0. CMU-CS-15-125 (2015).
- Ben Blum. Landslide: Systematic dynamic race detection in kernel space. CMU-CS-12-118 (2012).
- Adam Wolbach. Improving the deployability of Diamond. CMU-CS-08-158 (2008).
- Ajay Surie. Improving mobile infrastructure for pervasive personal computing. CMU-CS-07-163 (2007).
- David J. Matsumoto. A hybrid approach to Effort-Limited Fair scheduling in 802.11 (2003).