| 1 | -- | 2 | Julia L. Lawall, Germán Puebla, Germán Vidal. Editorial |
| 3 | -- | 39 | Nabil El Boustani, Jurriaan Hage. Improving type error messages for generic Java |
| 41 | -- | 80 | Robert J. Simmons, Frank Pfenning. Logical approximation for program analysis |
| 81 | -- | 114 | Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary. Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions |
| 115 | -- | 149 | Alberto Pardo, João Paulo Fernandes, João Saraiva. Shortcut fusion rules for the derivation of circular and higher-order programs |
| 151 | -- | 189 | Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo. Side-effect localization for lazy, purely functional languages via aspects |