Mallku Soldevila

According to our database, Mallku Soldevila authored at least 6 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

redex2coq.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

Dataset, November, 2024

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

CoRR, 2024

Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

From Specification to Testing: Semantics Engineering for Lua 5.2.

Mallku Soldevila, Beta Ziliani, Bruno Silvestre

J. Autom. Reason., 2022

2020

Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer.

Mallku Soldevila, Beta Ziliani, Daniel Fridlender

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2017

Decoding Lua: formal semantics for the developer and the semanticist.

Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017