Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| people:etanter [2026/09/02 18:49] – external edit 127.0.0.1 | people:etanter [2026/10/08 13:44] (current) – etanter |
|---|
| |
| ===== News ====== | ===== News ====== |
| | * {{bib>arquezAl-csf2027|Language Support for Privacy Budget Management}} accepted at [[https://csf2027.ieee-security.org/|CSF 2027]] |
| | * {{bib>felicissimoAl-popl2027|Consolidating Equality in a Proof Irrelevant Universe}} accepted at [[https://https://popl27.sigplan.org/|POPL 2027]] |
| * I'm serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]] | * I'm serving as Associate Program Chair for [[https://icfp27.sigplan.org/|ICFP 2027]] |
| * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] | * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] |
| * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} presented at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] | * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} presented at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] |
| * I have been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029) | * I have been awarded an [[https://www.inria.fr/en/europe-and-international-schemes|Inria International Chair]] hosted by the [[https://gallinette.gitlabpages.inria.fr/website/|Gallinette]] research team (2025-2029) |
| * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} presented at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]] | |
| |
| |
