![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| wip.html | 2015-01-05 22:58 | 4.2K | |
| sosp99-wip.ppt | 2015-01-05 22:58 | 275K | |
| sosp99-poster.html | 2015-01-05 22:58 | 1.1K | |
| poster.html | 2015-01-05 22:58 | 16K | |
| halvorsen10.jpg | 2015-01-05 22:58 | 28K | |
| halvorsen9.jpg | 2015-01-05 22:58 | 19K | |
| halvorsen8.jpg | 2015-01-05 22:58 | 11K | |
| halvorsen7.jpg | 2015-01-05 22:58 | 13K | |
| halvorsen6.jpg | 2015-01-05 22:58 | 12K | |
| halvorsen5.jpg | 2015-01-05 22:58 | 23K | |
| halvorsen4.jpg | 2015-01-05 22:58 | 23K | |
| halvorsen3.jpg | 2015-01-05 22:58 | 17K | |
| halvorsen2.jpg | 2015-01-05 22:58 | 18K | |
| halvorsen1.jpg | 2015-01-05 22:58 | 36K | |
| halvorsen.html | 2015-01-05 22:58 | 16K | |
| halvorsen-letter.ps.gz | 2015-01-05 22:58 | 857K | |
| halvorsen-a4.ps.gz | 2015-01-05 22:58 | 856K | |