1. Translation certification for smart contracts;Science of Computer Programming;2024-03
2. Indexed Types for a Statically Safe WebAssembly;Proceedings of the ACM on Programming Languages;2024-01-05
3. Mechanizing Refinement Types;Proceedings of the ACM on Programming Languages;2024-01-05
4. Reasoning About Exceptional Behavior at the Level of Java Bytecode;iFM 2023;2023-11-06
5. RUSPATCH: Towards Timely and Effectively Patching Rust Applications;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22