Differences

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

--- start [2023/04/27 10:01] – mtoro
+++ start [2024/03/26 16:00] (current) – etanter
@@ Line 7: / Line 7: @@
 ===== Recent 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]]
+  * 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)
   * {{bib>yeAl-oopsla2023|A Gradual Probabilistic Lambda Calculus}} accepted at [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]]
   * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025
@@ Line 32: / Line 35: @@
   * Stefan Malewski, PhD student
   * Damián Arquez, PhD student
-  * Tomás Díaz, PhD student
+  * [[people:tdiaz|Tomás Díaz]], PhD student
   * Tomás Vallejos, MSc student
   * José Luis Romero, MSc student