Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
people:etanter [2024/03/26 16:00] etanterpeople:etanter [2024/03/26 16:01] (current) etanter
Line 17: Line 17:
   * 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