14. CC 2005:
Edinburgh,
Scotland,
UK (Part of ETAPS 2005)
Rastislav Bodík (Ed.):
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings.
Lecture Notes in Computer Science 3443 Springer 2005, ISBN 3-540-25411-0 BibTeX
Invited Talk
Compilation
Parallelism
- Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu:
Boosting the Performance of Multimedia Applications Using SIMD Instructions.
59-75
Electronic Edition (link) BibTeX
- Robert Ennals, Richard Sharp, Alan Mycroft:
Task Partitioning for Multi-core Network Processors.
76-90
Electronic Edition (link) BibTeX
- Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor:
Experiences with Enumeration of Integer Projections of Parametric Polytopes.
91-105
Electronic Edition (link) BibTeX
- Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral:
Generalized Index-Set Splitting.
106-120
Electronic Edition (link) BibTeX
Memory Management
Program Transformations
Tool Demonstrations
- Patrick Lam, Viktor Kuncak, Martin C. Rinard:
Hob: A Tool for Verifying Data Structure Consistency.
237-241
Electronic Edition (link) BibTeX
- Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
Jazz: A Tool for Demand-Driven Structural Testing.
242-245
Electronic Edition (link) BibTeX
- Kevin Casey, David Gregg, M. Anton Ertl:
Tiger - An Interpreter Generation Tool.
246-249
Electronic Edition (link) BibTeX
- Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum:
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
250-254
Electronic Edition (link) BibTeX
Pointer Analysis
Copyright © Sat May 16 23:00:44 2009
by Michael Ley (ley@uni-trier.de)
