|Revised CFP: Workshop on New Horizons in Compiler Analysis and Optimiz firstname.lastname@example.org (Prof.R.Govindarajan) (2004-08-11)|
|Date:||11 Aug 2004 12:57:45 -0400|
|Keywords:||conference, CFP, optimize|
CALL FOR PAPERS
Workshop on New Horizons in
Compiler Analysis and Optimizations
December 22, 2004 -- Bangalore, India
Held in Conjunction with
International Conference on
High Performance Computing (HiPC-2004)
Traditional analysis and optimizations have been dominated by the following
metric : performance in terms of time and (in older days) space. Besides,
the level of performing optimizations has mostly been either machine
independent representation or machine-dependent assembly-like low level code.
This workshop invites papers which explore new frontiers in compiling
techniques that go beyond the above traditional approaches. It aims to
capture and highlight emerging trends in compiling, which though may deviate
from the mainstream work currently, have the potential of becoming mainstream
work in the future. The topics covered (but are not limited to) include :
* Analysis for certification of programs w.r.t. correctness of
compilation (e.g. "Proof carrying code" approach)
* Analysis for verification of desirable properties in programs
(e.g. safety, absence of memory leaks, etc.)
* Analysis and optimization beyond compile-time (e.g. link-time,
post-link time, runtime optimizations and adaptive runtime optimizations)
* Compiling for reconfigurable architecture, embedded systems, and
* Compiling for low-power and code-size constraints.
* Compiling for non-traditional languages, e.g., MATLAB
Interested authors should submit an electronic version of the manuscript in
PDF format as an email attachment to the workshop co-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.
Submission Deadline : Sept. 8, 2004 (automatic extension of 1 week) or
Sept. 15, 2004 (Firm Deadline)
Acceptance Notification: Oct. 13, 2004
Camera-ready version: Oct. 26, 2004
Erik R. Altman
IBM TJ Watson
Colorado State Univ.
Univ. des Saarlandes
Return to the
Search the comp.compilers archives again.