Senior Thesis, Division of Engineering and Applied Sciences, Harvard University (April 2001)įernández, M.F., Ramsey, N.: Automatic checking of instruction specifications.
Senior Thesis, Division of Engineering and Applied Sciences, Harvard University (April 2002)įeigenbaum, L.D.: Automated translation: generating a code generator. ACM TOPLAS 6(4), 505–526 (1984)Įddy, J.: A continuation-passing operator tree for pattern matching. 168–177 (1987)ĭavidson, J.W., Fraser, C.W.: Code selection through object code optimization. 1150–1155 (2005)Ĭhase, D.R.: An improvement to bottom-up tree pattern matching. Springer, Heidelberg (1994)Ĭeng, J., Hohenauer, M., Leupers, R., Ascheid, G., Meyr, H., Braun, G.: C Compiler Retargeting Based on Instruction Semantics Models. (ed.) Programming Languages and System Architectures.
Benitez, M.E., Davidson, J.W.: The advantages of machine-dependent global optimization.
