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.
Instructors
Chuck Mitchell, Microsoft
Mark Lewin, External Research and Programs, Microsoft Research
E-mail: marklew@microsoft.com
Further ETAPS 2006 Programme Information:
- Programme Overview
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
AVIS,
CMCS,
COCV,
DCC,
EAAI,
FESCA,
FRCSS,
GT-VMT,
LDTA,
MBT,
QAPL,
SC,
SLAP,
SPIN,
TERMGRAPH,
WITS,
WRLA
- Tutorials:
QuantComp
ETAPS 2006 |
Top |
HTML 4.01 |
Last Update: 2006-03-15