Decoding Lua: formal semantics for the developer and the semanticist. - Mallku Soldevila; Beta Ziliani; Bruno Silvestre; Daniel Fridlender; Fabio Mascarenhas (DLS, 2017)

Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. - Mallku Soldevila; Beta Ziliani; Daniel Fridlender (PPDP, 2020)

From Specification to Testing: Semantics Engineering for Lua 5.2. - Mallku Soldevila; Beta Ziliani; Bruno Silvestre (J. Autom. Reason., 2022)

Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (ITP, 2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (CoRR, 2024)

redex2coq. - Mallku Soldevila; Rodrigo Geraldo Ribeiro; Beta Ziliani (DROPS Artifacts, 2024)