default search action
10. CC 2001: Genova, Italy (Part of ETAPS 2001)
- Reinhard Wilhelm:
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
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. 69-85 - Sibylle Schupp, Douglas P. 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
The ASF+SDF Meta-environment: A Component-Based Language Development Environment. 365-370
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: