Towards efficient and verified virtual machines for dynamic languages Conference proceeding (January 2021)