MDL: a language and compiler for dynamic program instrumentation | IEEE Conference Publication | IEEE Xplore