TUTORIAL - Phoenix: A Framework for Code Generation and Program Analysis

Saturday, April 1 by Chuck Mitchell and Mark Lewin

8:30 am to 1 pm, Location: EI 8

About Phoenix

Phoenix is an extensible infrastructure for code generation, optimization, and analysis. A collaboration between Microsoft Research and Microsoft's Developer Division, Phoenix technology will be used in future versions of Microsoft compilers, code generators, and development tools. Many academic researchers are incorporating Phoenix into their research infrastructure. To date many universities have downloaded the Phoenix Research Development Kit (RDK) which is poised for broad distribution in December 2005. Further information on the Phoenix RDK can be found at http://research.microsoft.com/phoenix.

About the Tutorial

This tutorial will discuss the design and implementation of Phoenix and provide an introduction to using the Phoenix framework for building code generation plug-ins as well as tools which perform static analysis and program transformation for inserting instrumentation. During the tutorial we will provide an in-depth discussion of the Phoenix IR and facilities for analyzing and transforming the IR, Phoenix Events, various extensibility mechanisms, and walk through a few Phoenix based programs. Finally, information on using Phoenix in academic research and teaching contexts will be presented.

Who Should Attend

The target audience for this workshop includes anyone interested in compiler construction, compiler frameworks, and code generation and optimization. While the primary intended audience is academic, all attendees are welcome.


Chuck Mitchell, Microsoft
Mark Lewin, External Research and Programs, Microsoft Research

E-mail: marklew@microsoft.com

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-15