D. Zackon, C. Sano, A. Momigliano & B. Pientka. 2025. Split decisions: Explicit contexts for substructural languages. Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. 257–271. (2025 CPP Distinguished Paper Award) [doi]
M. Carbone, D. Castro-Perez, F. Ferreira, L. Gheri, F. K. Jacobsen, A. Momigliano, L. Padovani, A. Scalas, D. Tirore, M. Vassor, N. Yoshida, and D. Zackon. 2024. The concurrent calculi formalisation benchmark. Proceedings of the 26th International Conference on Co-ordination Models and Languages (Lect. Notes Comput. Sci., Vol. 14676). 149–158. [doi]
Recent talks:
D. Zackon, B. Pientka & A. Momigliano. July 2025. Mechanizing linear logical relations. 9th International Workshop on Trends in Linear Logic and Applications. Birmingham, U.K. [abstract]