Differences

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

--- start [2023/04/27 10:00] – [Recent News] mtoro
+++ start [2023/11/08 10:36] – etanter
@@ Line 7: / Line 7: @@
 ===== Recent News =====
+  * {{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 26: / Line 28: @@
 ===== Members =====
-  * [[people:folmedo|Federico Olmedo]], A
+  * [[people:folmedo|Federico Olmedo]], Assistant Professor
-ssistant
- Professor
   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Assistant Professor
@@ Line 34: / Line 34: @@
   * 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