Workshop Theme:
Traditional research in the area of compilers has been focused on optimizing the execution time of compiled executables. However, the last decade has witnessed the growth of a diverse suite of new problems in compilation related to, for example, virtual machines, low-power optimization, program correctness, reconfigurable architectures and security. This workshop invites papers that explore new frontiers in compiling techniques that go beyond the traditional approaches. It especially aims to highlight emerging trends in compiling that have the potential of becoming mainstream compiler research in the future. The topics planned for the workshop include, but are not limited to:

• Compiler techniques for the certification of program correctness (such as the "Proof carrying code" approach)
• Compiler techniques for the detection and assertion of desirable properties in programs (such as safety or absence of memory leaks)
• Analysis and optimization beyond compile-time (such as link-time, post-link time, runtime optimizations and adaptive runtime optimizations)
• Compilation for reconfigurable architecture, embedded systems, and application-specific processors.
• Compilation for low-power and small-memory platforms.
• Compilation for non-traditional languages (such as MATLAB)
• Compiler issues at the software/hardware interface
• Security-driven compilation (such as code obfuscation, watermarking).

Submission Guidelines:
Interested authors should submit an electronic version of the manuscript in PDF format through the online submission page. If you have problem accessing/submitting through the webpage, you can send the pdf file of the paper as e-mail attachment to one of the program chairs.

Submitted papers must be unpublished and should be typeset in a 2-column format (preferable), in 11pt font, not exceeding 10 pages. All submissions will be reviewed by the program committee. Each accepted paper must be presented at the workshop and will appear in the workshop proceedings.

Important Dates:

Submission deadline:	Sept. 16, 2005 (with automatic extension of one week)
Acceptance notification:	Oct. 17, 2005
Camera-ready version due:	Oct. 28, 2005