| 221 | -- | 262 | Yifeng Chen, Jeff W. Sanders. Logic of global synchrony |
| 263 | -- | 300 | Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González. A fast and accurate framework to analyze and optimize cache memory behavior |
| 301 | -- | 338 | Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith. Hancock: A language for analyzing transactional data streams |
| 339 | -- | 369 | Rajeev Alur, Radu Grosu. Modular refinement of hierarchic reactive machines |
| 370 | -- | 412 | Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans. Traversals of object structures: Specification and Efficient Implementation |