9. CC 2000: Berlin, Germany (Part of ETAPS 2000)

• Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps:
  Shape Analysis. 1-17
  
• Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan:
  Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? 18-34
  
• Jan Hoogerbrugge, Lex Augusteijn:
  Pipelined Java Virtual Machine Interpreters. 35-49
  
• Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv:
  Automatic Removal of Array Memory Leaks in Java. 50-66
  
• Barbara G. Ryder, Donald Smith, Ulrich Kremer, Michael Gordon, Nirav Shah:
  A Static Study of Java Exceptions Using JESP. 67-81
  
• David Gay, Bjarne Steensgaard:
  Fast Escape Analysis and Stack Allocation for Object-Based Programs. 82-93
  
• Jens Knoop, Oliver Rüthing:
  Constant Propagation on the Value Graph: Simple Constants and Beyond. 94-109
  
• John Aycock, R. Nigel Horspool:
  Simple Generation of Static Single-Assignment Form. 110-124
  
• Gagan Agrawal:
  Demand-Driven Construction of Call Graphs. 125-140
  
• Lei Wang, Waibhav Tembe, Santosh Pande:
  A Framework for Loop Distribution on Limited On-Chip Memory Processors. 141-156
  
• Gang-Ryung Uh, Yuhong Wang, David B. Whalley, Sanjay Jinturkar, Chris Burns, Vincent Cao:
  Techniques for Effectively Exploiting a Zero Overhead Loop Buffer. 157-172
  
• Dae-Hwan Kim:
  Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor. 173-188
  
• David Gregg:
  Global Software Pipelining with Iteration Preselection. 189-201
  
• Yuan Lin, David A. Padua:
  Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations. 202-218
  
• Gerald Roth:
  Advanced Scalarization of Array Syntax. 219-231
  
• Hao Yu, Lawrence Rauchwerger:
  Techniques for Reducing the Overhead of Run-Time Parallelization. 232-248
  
• Florence Maraninchi, Yann Rémond, Yannick Raoul:
  MATOU: An Implementation of Mode-Automata. 249-263
  
• Peter Thiemann:
  Compiling Adaptive Programs by Partial Evaluation. 264-278
  
• João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper:
  Functional Incremental Attribute Evaluation. 279-294