Vasanth Bala Evelyn Duesterwald Sanjeev Banerjia Dynamo: a transparent dynamic optimization system. 1-12 2000 PLDI http://doi.acm.org/10.1145/349299.349303 db/conf/pldi/pldi2000.html#BalaDB00