Research

Research Links

Synthetix Technology for adaptive systems: researching tools and techniques to incrementally specialize OSs to optimize performance, meta-programming languages to let applications declare specialization needs to OSs, and to specialize distributed systems to enhance survivability via code diversity and specialized response to intrusion.
comp.os.research FAQ
VINO High reusability and modularity, application-directed kernel policy, universal resource interface, take no usual solutions for granted (question everything): software and postscript downloads.
HOPE: Hopefully Optimistic Programming Environment A Programming Model for Optimism. Latency is being held back by the speed of light, more so in distributed systems. Optimistic algorithms 'guess' results of operations and proceed in parallel with confirmation of the guess; an effective way to hide latency of slow operations with predictable outcomes.
SPIN OS Dynamically extensible, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive vm operations. Blurs distinction between kernels and applications. Applications traditionally live in user-level address spaces, separated from kernel resources and services by an expensive protection boundary. SPIN lets applications specialize the kernel by dynamically linking new code into the running system.
Research Operating Systems

Help build the largest human-edited directory on the web.