Distributed OSGi built over message-oriented middleware.
MemSafe: ensuring the spatial and temporal memory safety of C at runtime.
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.
Enhancing OSGi with real-time Java support.