1. Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20
2. A fast in-place interpreter for WebAssembly;Proceedings of the ACM on Programming Languages;2022-10-31
3. Towards efficient and verified virtual machines for dynamic languages;Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
4. A framework for constructing javascript virtual machines with customized datatype representations;Proceedings of the 33rd Annual ACM Symposium on Applied Computing;2018-04-09
5. High-performance cross-language interoperability in a multi-language runtime;ACM SIGPLAN Notices;2016-05-11