What's
New |
Security in an extensible system. |
SPIN
Overview |
Brief overview of SPIN, including
benchmarks and information on Modula-3. |
Research
Projects |
As an extensible system, SPIN is an
excellent platform for operating systems research. These are some
of mature and ongoing projects. |
Project Members
|
Who we are. |
Paper Trail |
Project Reports, Talks, Papers, etc. Features
publications from OSDI '96, PLDI '96, WCSSS '96, Winter '96 Usenix,
and SOSP '95. |
Acknowledgements |
We've gotten a lot of assistance from academia,
industry, and the government on this project. This page says who
we're involved with. |
Related Work
|
Pointers to other projects in extensible
systems. |
Selections for UW-CS only |
SPIN Projects |
Projects that could result in Qualifications
credit, a Masters degree, a funded RAship position, or
undergraduate project credit. |
Internal
|
The latest status and information for project
members. |