Runtime Verification: A Computer Architecture Perspective.

Sharad Malik

Browse the full RV paper archive.