Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
start [2024/03/26 16:00] etanterstart [2024/03/26 16:00] (current) etanter
Line 7: Line 7:
  
 ===== 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)