CFP: Workshop on New Horizons in Compiler Analysis and Optimizations (Bangalore, Dec

CALL  FOR PAPERS
 ========================================
====================================
Workshop on New Horizons in
Compiler Analysis and Optimizations
December 22, 2004 -- Bangalore, India
(http://www.csa.iisc.ernet.in/~govind/workshop.html)

Held in Conjunction with
International Conference on
High Performance Computing (HiPC-2004)
 ========================================
====================================

Workshop Theme:

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 mainstrea
m
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
application-specific processors.
* Compiling for low-power and  code-size constraints.
* Compiling for non-traditional languages, e.g., MATLAB

Submission Guidelines:

Interested authors should submit an electronic version of the manuscript in
PDF format as an email attachment to the workshop co-chairs.
govind@csa.iisc.ernet.in, uday@cse.iitb.ac.in
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.   8, 2004 (automatic extension of 1 w) or
Sept. 15, 2004  (Firm Deadline)

Acceptance Notification: Oct.  13, 2004
Camera-ready version:    Oct.  26, 2004


Workshop Co-Chairs:

R. Govindarajan                   Uday Khedker
IISc, Bangalore                   IITB Mumbai
govind@csa.iisc.ernet.in          uday@cse.iitb.ac.in

Program Committee:


Vikram Adve                            Erik R. Altman
UIUC, Urbana                           IBM TJ Watson

R. Govindarajan                        Uday Khedker
IISc, Bangalore                        IITB, Mumbai

Andreas Krall                          Josep Llosa
TU, Vienna                             UPC, Barcelona

Soo-Mook Moon                          Santosh Pande
SNU, Seoul                             Georgia Tech.

Sanjay Rajopadhye                      S. Ramesh
Colorado State Univ.                   IITB, Mumbai

Ashok Sreenivas                        Reinhard Wilhelm
TRTDC, Pune                            Univ. des Saarlandes