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)