19. CC 2010: Paphos, Cyprus (Part of ETAPS 2010)

Rajiv Gupta (Ed.): Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science 6011 Springer 2010, ISBN 978-3-642-11969-9

Invited Talk

James R. Larus:
Programming Clouds. 1-9

Optimization Techniques

Adam Jocksch, Marcel Mitran, Joran Siu, Nikola Grcevski, José Nelson Amaral:
Mining Opportunities for Code Improvement in a Just-In-Time Compiler. 10-25
Shuhan Ding, Soner Önder:
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values. 26-45
Maxime Chevalier-Boisvert, Laurie J. Hendren, Clark Verbrugge:
Optimizing Matlab through Just-In-Time Specialization. 46-65
Francesco Logozzo, Herman Venter:
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. 66-83

Program Transformations

Ming-Yee Iu, Emmanuel Cecchet, Willy Zwaenepoel:
JReq: Database Queries in Imperative Languages. 84-103
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh:
Verifying Local Transformations on Relaxed Memory Models. 104-123

Program Analysis

Nomair A. Naeem, Ondrej Lhoták, Jonathan Rodriguez:
Practical Extensions to the IFDS Algorithm. 124-144
Andrew Craik, Wayne Kelly:
Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. 145-164

Register Allocation

Fernando Magno Quintão Pereira, Jens Palsberg:
Punctual Coalescing. 165-184
Gerolf Hoflehner:
Strategies for Predicate-Aware Register Allocation. 185-204
Matthias Braun, Christoph Mallon, Sebastian Hack:
Preference-Guided Register Assignment. 205-223
Silvain Rideau, Xavier Leroy:
Validating Register Allocation and Spilling. 224-243

High-Performance Systems

Muthu Manikandan Baskaran, J. Ramanujam, P. Sadayappan:
Automatic C-to-CUDA Code Generation for Affine Programs. 244-263
Yunlian Jiang, Eddy Z. Zhang, Kai Tian, Xipeng Shen:
Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? 264-282
Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul:
The Polyhedral Model Is More Widely Applicable Than You Think. 283-303
Subhajit Roy, Y. N. Srikant:
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. 304-323

Last update Tue May 22 23:23:23 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page