ACM SIGPLAN Workshop on Intermediate Representations (IR '95)

January 22, 1995, San Francisco, California
Held in conjunction with POPL '95

An intermediate representation is the basis of any tool for manipulating computer programs. A good representation permits powerful operations to be performed more simply, and may enable operations that a weaker representation cannot support. This workshop will examine current trends and research in the design and use of intermediate representations. The workshop will include a mix of presentation and discussion periods to facilitate interaction.

Registration information is available in PostScript and text formats. Workshop attendence is open to the entire intermediate representation community, not just to those who submitted papers. On-site registration is available.

Final program

Note that the first session starts at 8:00, not 8:30 as stated by the POPL advance program.

Session 1: 8:00-9:20

Incremental Computation of Dominator Trees
Vugranam C. Sreedhar, Guang R. Gao (McGill University), and Yong-fong Lee (IBM)
A Correspondence between Continuation Passing Style and Static Single Assignment Form
Richard A. Kelsey (NEC Research Institute)
GURRR: A Global Unified Resource Requirements Representation
David A. Berson, Rajiv Gupta, and Mary Lou Soffa (University of Pittsburgh)

Session 2: 9:25-10:45

XIL and YIL: The intermediate languages of TOBEY
Kevin O'Brien, Kathryn M. O'Brien, Martin Hopkins, Arvin Shepherd, and Ron Unrau (IBM T.J. Watson Laboratory)
GC: the data-flow graph format of synchronous programming
Pascal Aubry and Thierry Gautier (IRISA)
Rationalized Three Instruction machine
Sachin V. Chitnis, Manorajan Satpathy, and Sandeep Oberoi (IIT Bombay)

Seesion 3: 11:00-12:25

A simple graph-based intermediate representation
Cliff Click (Hewlett-Packard Laboratories) and Michael Paleczny (Rice University)
Optimizing sparse representations for dataflow analysis
Erik Ruf (Microsoft Research)
Sparse functional stores for imperative programs
Bjarne Steensgaard (Microsoft Research)

Session 4: 1:40-3:00

Verification of ANDF components
Fréderic Broustaut, Christian Fabre, François de Ferriére, Éric Ivanov (OSF Research Institute), and Mauro Fiorentini (Etnoteam)
Oak Intermediate Bytecodes
James Gosling (Sun Microsystems)
Clarity MCode: A retargetable intermediate representation for compilation
Brian T. Lewis (Sun Microsystems Laboratories)

Program Committee

POPL General Chair


The committee accepted 12 of the 32 submissions to IR '95. 26 papers were submitted electronically and 6 in hardcopy. 15 papers had North American authors, 15 had European authors, and 3 had authors from elsewhere.

Committee members did not participate in the reviewing of papers from the same institution.

The call for papers, and information for authors about camera-ready copy and workshop presentations, are still available.

Michael Ernst