Maribel Fernandez
where else to find them
github:maribelfg
linkedin:maribel-fernandez
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Anna Bambergeronce
- James Cheneyonce
- Mircea Sebeonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Nominal Matching Logic With Fixpoints | CPP 2025 | 2025-01-20 |
Extends nominal matching logic by adding mu fixed-point operator and set variables to derive an alpha-structural induction principle for any nominal binding… | ||
| Unification Modulo Equational Theories in Languages with Binding Operators | LOPSTR 2023 | 2023-10-23 |
Presents concrete algorithms and implementations for solving equations where terms have binders plus equational axioms: uses nominal logic with permutations to… | ||
| From Static to Dynamic Access Control Policies via Attribute-Based Category Min... | LOPSTR 2023 | 2023-10-23 |
A miner synthesizes category-based access-control policies from logs and matrices, producing logical category formulas, allowed actions and a proof of… | ||
| nothing matches | ||