Beta Ziliani

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 10

Top Venues

CoRR

J. Funct. Program.

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR (2024)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre
From Specification to Testing: Semantics Engineering for Lua 5.2. J. Autom. Reason. 66 (4) (2022)
Raul Fervari, Francisco Trucco, Beta Ziliani
Verification of dynamic bisimulation theorems in Coq. J. Log. Algebraic Methods Program. 120 (2021)
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. PPDP (2020)
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer. CoRR (2020)
Raul Fervari, Francisco Trucco, Beta Ziliani
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. DaLí (2019)
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer
Mtac2: typed tactics for backward reasoning in Coq. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
Decoding Lua: formal semantics for the developer and the semanticist. DLS (2017)
Beta Ziliani, Matthieu Sozeau
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. J. Funct. Program. 27 (2017)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
Decoding Lua: Formal Semantics for the Developer and the Semanticist. CoRR (2017)
Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
Mtac: A monad for typed tactic programming in Coq. J. Funct. Program. 25 (2015)
Beta Ziliani, Matthieu Sozeau
A unification algorithm for Coq featuring universe polymorphism and overloading. ICFP (2015)
Beta Ziliani, Matthieu Sozeau
Towards a better-behaved unification algorithm for Coq. UNIF (2014)
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
How to make ad hoc proof automation less ad hoc. J. Funct. Program. 23 (4) (2013)
Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. ITP (2013)
Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
Mtac: a monad for typed tactic programming in Coq. ICFP (2013)
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
How to make ad hoc proof automation less ad hoc. ICFP (2011)
Ariel Mendelzon, Alejandro Ríos, Beta Ziliani
Swapping: a natural bridge between named and indexed explicit substitution calculi HOR (2010)

Beta Ziliani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Beta Ziliani