WIR 2011

Call for Papers

International Workshop on Intermediate Representations (WIR 2011)

Co-located with CGO 2011, April 2/3 2011 in Chamonix, France

http://researchr.org/conference/wir-2011

Description

===========

The intermediate representation is the core of any program transformation tool. Its design has a significant impact on the simplicity, efficiency, and

effectiveness of program transformations. The developments in concurrent programming, integrated development environments, and domain-specific languages pose new requirements on intermediate representations. This workshop provides a forum to discuss current trends and experiences in the design, implementation, and application of intermediate representations.  

Topics of Interest

==================

The list of topics includes, but is not limited to:

  * intermediate representations for

        o parallelism and concurrency

        o instrumentation

        o JIT compilation

        o compiler verification

        o domain-specific languages

        o refactoring

        o integrated development environments

  * functional intermediate representations for imperative programs

  * translation to, and code generation from an IR

  * modeling low-level machine details in IRs

  * impact of IR on the precision of static analyzers

  * representing static analysis results in an IR

  * origin tracking

Submission

==========

We sollicit submission of original papers on topics relevant to intermediate

representations. Papers should be formatted in SIGPLAN Proceedings

Format, 9 point

font, and be at most 8 pages in length.

  * http://www.acm.org/sigs/sigplan/authorInformation.htm

Selected papers will be published in the ACM digital library (to be confirmed).

Papers should be submitted electronically with easychair:

  * http://www.easychair.org/conferences/?conf=wir2011

Important Dates

===============

  * Submission: January 21, 2011

  * Notification: February 25, 2011

  * Camera-ready: March 18, 2011

  * Workshop: April 2/3, 2011

Organizers

==========

  * Florent Bouchez

  * Sebastian Hack

  * Eelco Visser

Program Committee

=================

   * Florent Bouchez (chair)

   * Martin Bravenboer

   * Albert Cohen

   * François de Ferrière

   * Robert Fuhrer

   * Sebastian Hack (chair)

   * Andrew Kennedy

   * Sorin Lerner

   * Nathaniel Nystrom

   * Simon Peyton Jones

   * Tijs van der Storm

   * Eelco Visser (chair)