Static slack-based instrumentation of programs.

Hany Kashif, Johnson J. Thomas, Hiren D. Patel, Sebastian Fischmeister

Browse the full ETFA paper archive.