C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation.

Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek

Browse the full POPL paper archive.