Towards efficient and verified virtual machines for dynamic languages.

Martin Desharnais, Stefan Brunthaler

Browse the full CPP paper archive.