Abstract is missing.
- Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production CompilerJohn C. Ruttenberg, Guang R. Gao, Woody Lichtenstein, Artour Stoutchinin. 1-11
- Static Debugging: Browsing the Web of Program InvariantsCormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen. 23-32
- Source-Level Debugging of Scalar Optimized CodeAli-Reza Adl-Tabatabai, Thomas R. Gross. 33-43
- Static Detection of Dynamic Memory ErrorsDavid Evans. 44-53
- Commutativity Analysis: A New Analysis Framework for Parallelizing CompilersMartin C. Rinard, Pedro C. Diniz. 54-67
- Global Communication Analysis and OptimizationSoumen Chakrabarti, Manish Gupta, Jong-Deok Choi. 68-78
- GUM: A Portable Parallel Implementation of HaskellPhilip W. Trinder, Kevin Hammond, James S. Mattson Jr., A. S. Partridge, Simon L. Peyton Jones. 79-88
- Simple Garbage-Collector-SafetyHans-Juergen Boehm. 89-98
- Representing Control in the Presence of One-Shot ContinuationsCarl Bruggeman, Oscar Waddell, R. Kent Dybvig. 99-107
- Practical Program Analysis Using General Purpose Logic Programming Systems - A Case StudySteven Dawson, C. R. Ramakrishnan, David Scott Warren. 117-126
- Efficient and Language-Independent Mobile ProgramsAli-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe. 127-136
- Optimizing ML with Run-Time Code GenerationPeter Lee, Mark Leone. 137-148
- Fast, Effective Dynamic CompilationJoel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad. 149-159
- VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation SystemDawson R. Engler. 160-170
- Simple Objects for Standard MLJohn H. Reppy, Jon G. Riecke. 171-180
- TIL: A Type-Directed Optimizing Compiler for MLDavid Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee. 181-192
- Flow-directed InliningSuresh Jagannathan, Andrew K. Wright. 193-205
- Realistic Compilation by Partial EvaluationMichael Sperber, Peter Thiemann. 206-214
- Data SpecializationTodd B. Knoblock, Erik Ruf. 215-225
- Relocating Machine Instructions by CurryingNorman Ramsey. 226-236
- Teapot: Language Support for Writing Memory Coherence ProtocolsSatish Chandra, Brad Richards, James R. Larus. 237-248
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence GeneratorsMark W. Bailey, Jack W. Davidson. 249-257
- Replay For Concurrent Non-Deterministic Shared Memory ApplicationsMark Russinovich, Bryce Cogswell. 258-266
- Data Flow Frequency AnalysisGanesan Ramalingam. 267-277
- A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ GraphsVugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee. 278-290
- Generalized Dominance and Control DependenceGianfranco Bilardi, Keshav Pingali. 291-300