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

                                                          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 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

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