| 1 | -- | 16 | Thomas Ball. What s In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow |
| 17 | -- | 30 | Mike Beaven, Ryan Stansifer. Explaining Type Errors In Polimorphic Languages |
| 31 | -- | 45 | David Binkley. Precise Executable Interprocedural Slices |
| 46 | -- | 58 | Hans-Juergen Boehm, Alan J. Demers, Christ Uhler. Implementing Multiple Locks Using Lamport s Mutual Exclusion Algorithm |
| 59 | -- | 69 | Preston Briggs, Linda Torczon. An Efficient Representation for Sparse Sets |
| 70 | -- | 84 | Peter Bumbulis, Donald D. Cowan. RE2C: A More Versatile Scanner Generator |
| 85 | -- | 94 | Robert D. Cameron. Extending Context-Free Grammars with Permutation Phrases |
| 95 | -- | 114 | Alok N. Choudhary, Geoffrey Fox, Seema Hiranandani, Ken Kennedy, Charles Koelbel, Sanjay Ranka, Chau-Wen Tseng. Unified Compilation of Fortran 77D and 90D |
| 115 | -- | 126 | Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers. References to Remote Mobile Objects in Thor |
| 127 | -- | 134 | Richard A. Eyre-Todd. The Detection of Dangling References in C++ Programs |
| 135 | -- | 150 | Rajiv Gupta. Optimizing Array Bound Checks Using Flow Analysis |
| 151 | -- | 164 | Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi. On the Conversion of Indirect to Direct Recursion |
| 165 | -- | 180 | James R. Larus. Compiling for Shared-Memory and Message-Passing Computers |
| 181 | -- | 196 | Kim Marriott, Harald Søndergaard. Precise and Efficient Groundness Analysis for Logic Programs |
| 197 | -- | 212 | Kim Marriott, Peter J. Stuckey. Semantics of Constraint Logic Programs with Optimization |
| 213 | -- | 232 | Robert Metzger, Sean Stroud. Interprocedural Constant Propagation: An Empirical Study |
| 233 | -- | 241 | Xiaolei Qian, Allen Goldberg. Referential Opacity In Nondeterministic Data Refinement |