Differences

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

--- people:etanter [2021/11/03 09:42] – etanter
+++ people:etanter [2021/11/23 11:12] – etanter
@@ Line 14: / Line 14: @@
 ===== News ======
   * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]], to be presented at [[https://popl22.sigplan.org|POPL 2022]]
+  * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]]
   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} presented at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
   * Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for my {{bib>tanter:aosd2010|AOSD 2010 paper}}
-  * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]]
   * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} presented at [[https://2021.ecoop.org/|ECOOP 2021]]
   * {{bib>toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://arxiv.org/abs/2010.11342|the draft]] (under revision)
@@ Line 131: / Line 131: @@
 ++++ Research Projects |
     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]
-    * INRIA Équipe Associée GECO [2018-2020/lead]
+    * INRIA Équipe Associée GECO [2018-2022/lead]
     * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/lead]
     * FONDECYT Project 1150017 - Gradual Software Verification: Foundations and Applications [2015-2018/lead]
@@ Line 180: / Line 180: @@
 ++++ Grad students |
     * [PhD] Elizabeth Labrada (gradual parametricity)
-    * [MSc] Damian Arquez (gradual sensitivity) [co-advised with Matías Toro]
+    * [PhD] Damian Arquez
+    * [PhD] Tomás Díaz
+    * [MSc] Tomás Vallejos [co-advised with Aidan Hogan]
     * //Former PhD students://
         * Raimil Cruz: [[http://repositorio.uchile.cl/handle/2250/173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.
@@ Line 192: / Line 194: @@
         * Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://
+        * Damián Árquez: Gradual Sensitivity Typing [co-advised with Matías Toro]. Defended 23/11/2021.
         * Hans Fehrmann: [[http://repositorio.uchile.cl/handle/2250/179353|A Reasonably Exceptional Type Theory]] [co-advised with Nicolas Tabareau]. Defended 29/12/2020.
         * Fabian Mosso: [[http://repositorio.uchile.cl/handle/2250/176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.