Publications

Peer-reviewed

• M. Soldevila, B. Ziliani and R. Ribeiro. Redex2Coq: towards a theory of decidability of Redex’s reduction semantics. In Leibniz International Proceedings in Informatics of the Fifteenth Conference on Interactive Theorem Proving, ITP’24.

• A. Acosta and M. Soldevila. Percepción de estudiantes sobre la carrera de Analista en Computación en la UNC (spanish). In Memorias del Simposio Argentino de Educación en Informática, Vol. 9 Núm. 9 (2023).

• M. Soldevila, B. Silvestre, and B. Ziliani. From specification to testing: semantics engineering for Lua 5.2. In Journal of Automated Reasoning, 2022.

• M. Soldevila, B. Ziliani, and D. Fridlender. Understanding Lua’s Garbage Collection - Towards a Formalized Static Analyzer. In Proceedings of the 22nd Symposium on Principles and Practice of Declarative Programming, PPDP 2020, Bologna, Italy, September 8–10, 2020.
  • Appendix.
  • Revised version.
• M. Soldevila, B. Ziliani, B. Silvestre, D. Fridlender, and F. Mascarenhas. Decoding Lua: Formal semantics for the developer and the semanticist. In Proceedings of the 13th ACM SIGPLAN Dynamic Languages Symposium, 2017.

Thesis

• M. Soldevila. PhD thesis: “Semántica operacional y su aplicación para el estudio de recolección de basura, en Lua 5.2” (spanish). August, 2021. In Biblioteca FAMAF Daniel Oscar Sonzini.

• M. Soldevila. Bachelor thesis: “Formalización de la semántica del lenguaje de programación Lua” (spanish). March, 2015. In Biblioteca FAMAF Daniel Oscar Sonzini.