default search action

combined dblp search
author search
venue search
publication search

ask others

Beta Ziliani

> Home > Persons

Person information

affiliation: Max Planck Institute for Software Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/SoldevilaRZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/SoldevilaRZ24
Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani:
Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics. ITP 2024: 34:1-34:18
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-03488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-03488
Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani:
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR abs/2402.03488 (2024)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SoldevilaZS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SoldevilaZS22
Mallku Soldevila, Beta Ziliani, Bruno Silvestre:
From Specification to Testing: Semantics Engineering for Lua 5.2. J. Autom. Reason. 66(4): 905-952 (2022)
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/FervariTZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/FervariTZ21
Raul Fervari, Francisco Trucco, Beta Ziliani:
Verification of dynamic bisimulation theorems in Coq. J. Log. Algebraic Methods Program. 120: 100642 (2021)
2020
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SoldevilaZF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SoldevilaZF20
Mallku Soldevila, Beta Ziliani, Daniel Fridlender:
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. PPDP 2020: 13:1-13:14
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13057
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13057
Mallku Soldevila, Beta Ziliani, Daniel Fridlender:
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer. CoRR abs/2005.13057 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/FervariTZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/FervariTZ19
Raul Fervari, Francisco Trucco, Beta Ziliani:
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. DaLí 2019: 3-18
2018
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KaiserZKRD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KaiserZKRD18
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): 78:1-78:31 (2018)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ZilianiS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ZilianiS17
Beta Ziliani, Matthieu Sozeau:
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. J. Funct. Program. 27: e10 (2017)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dls/SoldevilaZSFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dls/SoldevilaZSFM17
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas:
Decoding Lua: formal semantics for the developer and the semanticist. DLS 2017: 75-86
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SoldevilaZSFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SoldevilaZSFM17
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas:
Decoding Lua: Formal Semantics for the Developer and the Semanticist. CoRR abs/1706.02400 (2017)
2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Ziliani15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Ziliani15
Beta Ziliani:
Interactive typed tactic programming in the Coq proof assistant. Saarland University, 2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ZilianiDKNV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ZilianiDKNV15
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)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ZilianiS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ZilianiS15
Beta Ziliani, Matthieu Sozeau:
A unification algorithm for Coq featuring universe polymorphism and overloading. ICFP 2015: 179-191
2014
[c5]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ZilianiS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ZilianiS14
Beta Ziliani, Matthieu Sozeau:
Towards a better-behaved unification algorithm for Coq. UNIF 2014: 74-87
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/GonthierZND13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/GonthierZND13
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer:
How to make ad hoc proof automation less ad hoc. J. Funct. Program. 23(4): 357-401 (2013)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ZilianiDKNV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ZilianiDKNV13
Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis:
Mtac: a monad for typed tactic programming in Coq. ICFP 2013: 87-100
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ClaretGRZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ClaretGRZ13
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: 67-83
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/GonthierZND11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/GonthierZND11
Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer:
How to make ad hoc proof automation less ad hoc. ICFP 2011: 163-175
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3730
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3730
Ariel Mendelzon, Alejandro Ríos, Beta Ziliani:
Swapping: a natural bridge between named and indexed explicit substitution calculi. HOR 2010: 1-15

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.