Cloning-Based Context-Sensitive Pointer Alias Analysis using BDDs Mayur Naik Intel Research CS294 Lecture March 19, 2009 (Slides courtesy of John Whaley)
Waves, irreversibility, and turbulent diffusion in MHD turbulence Shane R. Keating Patrick H. Diamond Center for Astrophysics and Space Sciences University.
Cloning-Based Context-Sensitive Pointer Alias Analysis using BDDs John Whaley Monica Lam Stanford University June 10, 2004.