@inproceedings{PFW-RV13, author = {Nadia Polikarpova and Carlo A. Furia and Scott West}, title = {To Run What No One Has Run Before: Executing an Intermediate Verification Language}, booktitle = {Fourth International Conference on Runtime Verification (RV'13)}, year = {2013}, pages = {251-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8174}, year = {2013}, isbn = {978-3-642-40786-4}, urltopdf = {http://se.inf.ethz.ch/people/polikarpova/publications/rv13.pdf} }