CC 2003

23 papers

1. A Compilation and Optimization Model for Aspect-Oriented Programs · Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn
2. A New One-Pass Transformation into Monadic Normal Form · Olivier Danvy
3. A Pattern Matching Compiler for Multiple Target Languages · Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
4. Address Register Assignment for Reducing Code Size · Mahmut T. Kandemir, Mary Jane Irwin, Guilin Chen, J. Ramanujam
5. Automatic Detection of Uninitialized Variables · Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
6. Combined Code Motion and Register Allocation Using the Value State Dependence Graph · Neil Johnson, Alan Mycroft
7. Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages · Barbara G. Ryder
8. Early Control of Register Pressure for Software Pipelined Loops · Sid Ahmed Ali Touati, Christine Eisenbeis
9. Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences · Etienne Gagnon, Laurie J. Hendren
10. Generalised Regular Parsers · Adrian Johnstone, Elizabeth Scott
11. Improving Data Locality by Chunking · Cédric Bastoul, Paul Feautrier
12. Integrating Generations with Advanced Reference Counting Garbage Collectors · Hezi Azatchi, Erez Petrank
13. Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience · Somnath Ghosh, Abhay Kanhere, Rakesh Krishnaiyer, Dattatraya Kulkarni, Wei Li, Chu-Cheow Lim + 1 more
14. Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms · Rainer Leupers
15. Polyglot: An Extensible Compiler Framework for Java · Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers
16. Precision in Practice: A Type-Preserving Java Compiler · Christopher League, Zhong Shao, Valery Trifonov
17. Rapid and Robust Compiler Construction Using Template-Based Metacompilation · Kees van Reeuwijk
18. Register Allocation by Optimal Graph Coloring · Christian Andersson
19. Run-Time Type Checking for Binary Programs · Michael Burrows, Stephen N. Freund, Janet L. Wiener
20. Scaling Java Points-to Analysis Using SPARK · Ondrej Lhoták, Laurie J. Hendren
21. The Interprocedural Express-Lane Transformation · David Melski, Thomas W. Reps
22. The MAGICA Type Inference Engine for MATLAB · Pramod G. Joisha, Prithviraj Banerjee
23. The Verifying Compiler: A Grand Challenge for Computing Research · C. A. R. Hoare