1. Bidirectional Data Transformations;Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture;2024-08-28
2. Nominal Types for Erlang;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
3. Energy Performance Analysis of Advanced Transactional Models;2024
4. The Discourje project: run-time verification of communication protocols in Clojure;International Journal on Software Tools for Technology Transfer;2022-09-20
5. A Secure Parser Generation Framework for IoT Protocols on Microcontrollers;2022 IEEE Security and Privacy Workshops (SPW);2022-05