Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |
start [2024/03/26 16:00] – etanter | start [2024/03/26 16:00] (current) – etanter |
---|
| |
===== Recent News ===== | ===== Recent News ===== |
* {{bib>toroAl-cacm2024|Gradual Differentially Private Programming}} to be appear in [[https://cacm.acm.org/|Communications of the ACM]] | * {{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 Most Notable Paper Award at DLS 2023 for our DLS 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (Allende, Fabry, Tanter) | * 10-year Most Notable Paper Award at DLS 2023 for our DLS 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (Allende, Fabry, Tanter) |