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

============================================================================
                                                          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 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
            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 week) or
                                                        Sept. 15, 2004 (Firm Deadline)


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




Workshop Co-Chairs:


        R. Govindarajan
        IISc, Bangalore
        govind@csa.iisc.ernet.in


        Uday Khedker
        IITB Mumbai
        uday@cse.iitb.ac.in


Program Committee:




                          Vikram Adve
                          UIUC, Urbana


                          Erik R. Altman
                          IBM TJ Watson


                          R. Govindarajan
                          IISc, Bangalore


                          Uday Khedker
                          IITB, Mumbai


                          Andreas Krall
                          TU, Vienna


                          Josep Llosa
                          UPC, Barcelona


                          Soo-Mook Moon
                          SNU, Seoul


                          Santosh Pande
                          Georgia Tech.


                          Sanjay Rajopadhye
                          Colorado State Univ.


                          S. Ramesh
                          IITB, Mumbai


                          Ashok Sreenivas
                          TRDDC, Pune


                          Reinhard Wilhelm
                          Univ. des Saarlandes

Return to the comp.compilers page.
Search the comp.compilers archives again.