| 1 | -- | 0 | Gerhard Goos. Compiler Verification and Compiler Architecture |
| 2 | -- | 18 | Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg. VOC: A Translation Validator for Optimizing Compilers |
| 19 | -- | 36 | Sabine Glesner, Rubino Geiß, Boris Boesler. Verified Code Generation for Embedded Systems |
| 37 | -- | 51 | Carl Christian Frederiksen. Correctness of Classical Compiler Optimizations using CTL |
| 52 | -- | 66 | Thi Viet Nga Nguyen, François Irigoin. Alias verification for Fortran code optimization |
| 67 | -- | 82 | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations |
| 83 | -- | 99 | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa. Debugging and Testing Optimizers through Comparison Checking |
| 100 | -- | 114 | Wolfgang Goerigk. Towards Acceptability of Optimizations: An Extended View of Compiler Correctness |
| 115 | -- | 116 | Jens Knoop, Wolf Zimmermann. Preface |