CPP 2021: [long] Towards Efficient and Verified Virtual Machines forDynamic Languages
Channel: Martin Desharnais
Date: 2021-01-12

Slides: https://martin.desharnais.me/public/documents/cpp2021-Dyn-Inca-Ubx-slides.pdf