Hi,
OSDI ended couple of days ago, so here are the papers I found interesting:
- Redline: www.usenix.org/events/osdi08/tech/full_papers/yang/yang.pdf
- Chopstix: www.usenix.org/events/osdi08/tech/full_papers/bhatia/bhatia.pdf
- KLEE: www.usenix.org/events/osdi08/tech/full_papers/cadar/cadar.pdf
- Laika: www.usenix.org/events/osdi08/tech/full_papers/cozzie/cozzie.pdf
- Xax: www.usenix.org/events/osdi08/tech/full_papers/douceur/douceur.pdf