http://www.cs.washington.edu/homes/yasushi/os/index.html Operating System Research Here's a list of "hot" research operating systems. Surely it's biased now, but please tell me if you know something interesting that's not in this list.