479 | -- | 480 | Chua-Huang Huang, P. Sadayappan. Introduction |
481 | -- | 512 | Rastislav Bodík, Rajiv Gupta. Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures |
513 | -- | 546 | Béatrice Creusillet, François Irigoin. Interprocedural Array Region Analyses |
547 | -- | 578 | Rakesh Ghiya, Laurie J. Hendren. Connection Analysis: A Practical Interprocedural Heap Analysis for C |
579 | -- | 598 | Wayne Kelly, William Pugh, Evan Rosser, Tatiana Shpeisman. Transitive Closure of Infinite Graphs and its Applications |
599 | -- | 620 | Thomas J. Sheffler, Robert Schreiber, William Pugh, John R. Gilbert, Siddhartha Chatterjee. Efficient Distribution Analysis via Graph Contraction |