![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| concur99.ps | 21-Jun-2000 09:09 | 298K | |
| esop99.ps | 21-Jun-2000 09:09 | 367K | |
| houdini.ppt | 22-Oct-1999 11:34 | 637K | |
| pldi00.ps | 21-Jun-2000 09:09 | 431K | |
| pldi97.ps | 12-Oct-1999 11:32 | 498K | |
| popl01.ps | 11-Nov-2001 15:43 | 332K | |
| popl02.ps | 11-Nov-2001 15:43 | 375K | |