Beta Ziliani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Redex2Coq: towards a theory of decidability of Redex's reduction semantics	2026-02-10	Paper
From specification to testing: semantics engineering for Lua 5.2 Journal of Automated Reasoning	2022-12-12	Paper
Verification of dynamic bisimulation theorems in Coq Journal of Logical and Algebraic Methods in Programming	2021-06-25	Paper
Mechanizing bisimulation theorems for relation-changing logics in Coq	2020-07-08	Paper
Mtac: a monad for typed tactic programming in Coq Journal of Functional Programming	2017-10-23	Paper
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading Journal of Functional Programming	2017-10-23	Paper
A unification algorithm for Coq featuring universe polymorphism and overloading Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Mtac: a monad for typed tactic programming in Coq Proceedings of the 18th ACM SIGPLAN international conference on Functional programming	2015-03-30	Paper
How to make ad hoc proof automation less ad hoc Proceedings of the 16th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
How to make ad hoc proof automation less ad hoc Journal of Functional Programming	2014-02-27	Paper
Lightweight proof by reflection using a posteriori simulation of effectful computation Interactive Theorem Proving	2013-08-07	Paper

Research outcomes over time

This page was built for person: Beta Ziliani