To Run What No One Has Run Before: Executing an Intermediate Verification Language.

Nadia Polikarpova, Carlo A. Furia, Scott West

Browse the full RV paper archive.