MIL: A language to build program analysis tools through static binary instrumentation.

Andres Charif Rubial, Denis Barthou, Cdric Valensi, Sameer Shende, Allen D. Malony, William Jalby

Browse the full HiPC paper archive.