WIR 2011: Workshop on Intermediate Representations 2011

April 2, 2011 in Chamonix, France

Call for Papers

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
  • parallelism and concurrency
  • instrumentation
  • JIT compilation
  • compiler verification
  • domain-specific languages
  • refactoring
  • 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.

Selected papers will be published in the ACM digital library.

Update: selected papers will finally NOT be published in the ACM digital library. This will allow us to select more paper and have a livelier workshop.

Papers should be submitted electronically with easychair:

Important Dates

  • Submission: January 28, 2011 (Extended)
  • Notification: February 25, 2011
  • Camera-ready: March 18, 2011
  • Workshop: April 2, 2011

Organizers

Program Committee