Selected Projects

• Boomerang - a real-time I/O system based on composable tuned pipes
  
• smARTflight - a smart flight management system for drones
  
• SmartPrint3D - A system for "smart" 3D printer control
  
• Qduino - A real-time multi-threaded Arduino API built on Quest
  
• RacerX - High-speed autonomous vehicle control
• Quest RTOS - A lightweight, predictable and dependable real-time operating system for multicore processors
  • Treats time as a first-class resource
  • Features a novel multicore virtual CPU scheduler
  • Integrates the time management of interrupts and tasks
• Quest-V - A Separation kernel (a.k.a. partitioning hypervisor) based on Quest
  • Uses hardware virtualization to partition services into separate secure sandboxes
  • Targeted at safety- and mixed-criticality systems
  • Supports legacy Linux guests and real-time Quest-native services
• Cuckoo - A memory and thread-safe language
• User-level Sandboxing - Efficient user-level sandboxing techniques for extensible services
• SafeX - Safe Kernel Extensions
• Linux 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.

Acknowledgement

I've had the fortune to work with many collaborators outside Boston University. Thanks to Intel for additional support for my research and discussions about x86 systems. Thanks to Charles River Analytics, Cambridge, MA, for many fruitful collaborations and funding support on SBIR and STTR grants. Thanks to Drako Motors for its generous support and insights into automotive systems. Thanks also to VMware, especially the resource management team, for patent ideas, publications and research collaborations on hypervisors, multicore cache management and other topics related to virtual machine software.