Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2023/05/03 13:11] – [Members] tdiazstart [2024/03/26 16:00] (current) etanter
Line 7: Line 7:
  
 ===== Recent News ===== ===== 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]]   * {{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   * New Inria Associate Team [[https://pleiad.github.io/grapa-website/|GRAPA]] (Gradual Proof Assistants) funded for 2023-2025
Line 26: Line 29:
 ===== Members ===== ===== Members =====
  
-  * [[people:folmedo|Federico Olmedo]], Assistant +  * [[people:folmedo|Federico Olmedo]], Assistant Professor
-rofessor+
   * [[people:etanter|Éric Tanter]], Full Professor   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Assistant Professor   * [[people:mtoro|Matías Toro]], Assistant Professor