Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision |
people:etanter [2024/01/03 10:53] – etanter | people:etanter [2024/03/26 16:01] (current) – etanter |
---|
| |
===== News ====== | ===== News ====== |
| * {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} to appear in [[https://cacm.acm.org/|Communications of the ACM]] |
* {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]] | * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]] |
* 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 | |
| |
| |