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
Last revisionBoth sides next revision
people:etanter [2024/01/03 10:40] – etanterpeople:etanter [2024/03/26 16:00] – etanter
Line 13: Line 13:
  
 ===== News ====== ===== 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]]   * {{bib>andriciAl-popl2024|Securing Verified IO Programs Against Unverified Code in F*}} accepted at [[https://popl24.sigplan.org/|POPL 2024]]
   * 10-year {{people:etanter:dls2023-most_notable.pdf|Most Notable Paper Award at DLS 2023}} for our [[https://dynamic-languages-symposium.org/index.html|DLS]] 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}}   * 10-year {{people:etanter:dls2023-most_notable.pdf|Most Notable Paper Award at DLS 2023}} for our [[https://dynamic-languages-symposium.org/index.html|DLS]] 2013 paper {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}}
Line 129: Line 130:
  
 ++++ Research Projects | ++++ Research Projects |
-    * ANID Project DFG220011 - Gradual Abstract Interpretation [2023-2025/co-investigator]+    * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
     * INRIA Équipe Associée GRAPA [2023-2025/lead]     * INRIA Équipe Associée GRAPA [2023-2025/lead]
     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]