Chen Wen-ke, Sanjay Bhansali, Trishul Chilimbi (Microsoft), Xiaofeng Gao, and Weihaw Chuang (UC San Diego).
To appear in PLDI '06.
Portable Document Format.