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

• Bob Ballance, Object Science
• Michael Ernst, Microsoft Research (chair)
• Jeanne Ferrante, University of California at San Diego
• Susan Horwitz, University of Wisconsin
• Steve Muchnick, Sun Microsystems
• Carl Offner, Digital Equipment Corporation
• Keshav Pingali, Cornell University
• David Tarditi, Carnegie-Mellon University

POPL General Chair

• Ron Cytron, Washington University

Administrivia

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.