Projects

Research Projects:

Quest
Kernel development
Cuckoo
Cuckoo: a Memory- and Thread-safe Language (primarily for extensible services)
OSMOSIS OS support for the Management Of Streams on an Internet Scale
User-Level Sandboxing
Efficient User-Level Sandboxing Techniques for Extensible Services
Safe Kernel Extensions

Extensible and Adaptive QoS Management Infrastructure for Distributed Real-Time Applications

Mechanism for Event-Driven Adaptation

Dynamic Window-Constrained Scheduling for Linux

A driver application for S-DSO: Semantic-Distributed Shared Objects

Past Hardware-Related Projects:


Disclaimer

Some of the material in the projects listed above relates to research that is supported in part by the National Science Foundation under grant numbers 0615153, 0205294, 0202067 and 0720464. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.