Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |
people:etanter [2024/03/26 16:00] – etanter | people:etanter [2024/03/26 16:01] (current) – etanter |
---|
* 10-year {{people:etanter:dls2023-most_notable.pdf|Most Notable Paper Award at DLS 2023}} for our [[https://dynamic-languages-symposium.org/index.html|DLS]] 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} | * 10-year {{people:etanter:dls2023-most_notable.pdf|Most Notable Paper Award at DLS 2023}} for our [[https://dynamic-languages-symposium.org/index.html|DLS]] 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} |
* {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]] | * {{bib>toroAl-toplas2023|Contextual Linear Types for Differential Privacy}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]] |
* New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025 | |
| |
| |