David Bacon		IBM Research
Garbage Collection and the Metronome GC
Ras Bodik		University of California – Berkeley
Algorithmic Program Synthesis
Patrick Cousot		Ecole Normale Superieure New York University
Abstract Interpretation
Olivier Danvy		Aarhus University
Continuations to Go
Sumit Gulwani		Microsoft Research
Program Analysis for Computing Symbolic Complexity Bounds
Chandra Krintz		University of California – Santa Barbara
Managed Runtime Environments: Implementations and Opportunities
Ondrej Lhotak		University of Waterloo
Pointer analysis
Matt Might		University of Utah
Control-flow Analysis of Higher-Order Languages
Yannis Smaragdakis		University of Massachusetts, Amherst
Multi-Threaded Programming and Transactional Memory

This page is the property of the University of Oregon