| 1 | -- | 10 | John Field, G. Ramalingam. Identifying procedural structure in Cobol programs |
| 11 | -- | 20 | Hira Agrawal. Efficient coverage testing using global dominator graphs |
| 21 | -- | 31 | Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar. Efficient and precise modeling of exceptions for the analysis of Java programs |
| 32 | -- | 38 | Liz Whiting, Mike Hill. Safety analysis of Hawk In Flight monitor |
| 39 | -- | 46 | Donglin Liang, Mary Jean Harrold. Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers |
| 47 | -- | 56 | Amie L. Souter, Lori L. Pollock, Dixie Hisley. Inter-class def-use analysis with partial class representations |
| 57 | -- | 65 | Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh. Using partial order techniques to improve performance of data flow analysis based verification |
| 66 | -- | 75 | Satish Chandra, Thomas W. Reps. Physical type checking for C |
| 76 | -- | 85 | Nicky Williams Preston. New type signatures for legacy Fortran subroutines |
| 86 | -- | 94 | Françoise Balmas. Query by outlines: a new paradigm to help manage programs |
| 95 | -- | 104 | Gabriella Kókai, Jörg Nilson, Christian Niss. GIDTS: a graphical programming environment for Prolog |
| 105 | -- | 109 | Christoph Steindl. Benefits of a data flow-aware programming environment |