Eli Tilevich Yannis Smaragdakis Transparent program transformationsin the presence of opaque code. 89-94 2006 conf/gpce/2006 GPCE http://doi.acm.org/10.1145/1173706.1173720 db/conf/gpce/gpce2006.html#TilevichS06