Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision |
people:etanter [2024/01/03 10:53] – etanter | people:etanter [2024/03/26 16:00] – 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}} |