Dongkeun Kim Donald Yeung A study of source-level compiler algorithms for automatic construction of pre-execution code. 326-379 2004 22 ACM Trans. Comput. Syst. 3 http://doi.acm.org/10.1145/1012268.1012270 db/journals/tocs/tocs22.html#KimY04