Selected Projects

• Quest - A lightweight, predictable and dependable kernel for multicore processors
  
• Cuckoo - A memory and thread-safe language
• User-level Sandboxing - Efficient user-level sandboxing techniques for extensible services
• SafeX - Safe Kernel Extensions
• DWCS - Dynamic Window-Constrained Scheduling
• Battle Robots - A driver application for S-DSO: Semantic-Distributed Shared Objects
• Charlie-1 -- PC-Controlled ultrasonic range finding for a robot collision-avoidance system (from my days as a Master's student in the UK, many years ago)
  

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, 0720464 and 1117025. 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.