10. CC 2001: Genova, Italy (Part of ETAPS 2001)

Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2027 Springer 2001, ISBN 3-540-41861-X

Invited Talk

Ole Lehrmann Madsen:
Virtual Classes and Their Implementation. 1-2

Program Analysis

Vincenzo Martena, Pierluigi San Pietro:
Alias Analysis by Means of a Model Checker. 3-19
Atanas Rountev, Barbara G. Ryder:
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries. 20-36
Eduard Mehofer, Bernhard Scholz:
A Novel Probabilistic Data Flow Framework. 37-51

Program Transformation

David Lacey, Oege de Moor:
Imperative Program Transformation by Rewriting. 52-68
Björn Franke, Michael F. P. O'Boyle:
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. 69-85
Sibylle Schupp, Douglas Gregor, David R. Musser, Shin-Ming Liu:
User-Extensible Simplification–Type-Based Optimizer Generators. 86-101
Caroline Tice, Susan L. Graham:
A Practical, Robust Method for Generating Variable Range Tables. 102-117

Program Analysis

Robert van Engelen:
Efficient Symbolic Analysis for Optimizing Compilers. 118-132
Noam Rinetzky, Shmuel Sagiv:
Interprocedural Shape Analysis for Recursive Programs. 133-149
Radu Rugina, Martin C. Rinard:
Design-Driven Compilation. 150-164

Intraprocessor Parallelism

Kalyan Muthukumar, Gautam Doshi:
Software Pipelining of Nested Loops. 165-181
Han-Saem Yun, Jihong Kim, Soo-Mook Moon:
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows. 182-199
David Gregg:
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling. 200-212
Sid Ahmed Ali Touati:
Register Saturation in Superscalar and VLIW Codes. 213-228

Parsing

John Aycock, R. Nigel Horspool:
Directly-Executable Earley Parsing. 229-243
Jacques Farré, José Fortes Gálvez:
A Bounded Graph-Connect Construction for LR-regular Parsers. 244-258

Memory Hierarchy

Mahmut T. Kandemir:
Array Unification: A Locality Optimization Technique. 259-273
Guilherme Ottoni, Sandro Rigo, Guido Araujo, Subramanian Rajagopalan, Sharad Malik:
Optimal Live Range Merge for Address Register Allocation in Embedded Programs. 274-288
Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet:
Speculative Prefetching of Induction Pointers. 289-303
Fridtjof Siebert:
Constant-Time Root Scanning for Deterministic Garbage Collection. 304-318

Profiling

Scott A. Watterson, Saumya K. Debray:
Goal-Directed Value Profiling. 319-333
Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge:
A Framework for Optimizing Java Using Attributes. 334-354

Demos

Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier:
SmartTools: A Generator of Interactive Environments Tools. 355-360
Matthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt:
Visual Patterns in the VLEli System. 361-364
Mark van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser:
The ASF+SDF Meta-environment: A Component-Based Language Development Environment. 365-370