Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
people:etanter [2021/07/19 11:48]
etanter
people:etanter [2022/02/26 18:23]
etanter
Line 13: Line 13:
  
 ===== News ====== ===== News ======
 +  * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]]
 +  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), 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}}   * 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>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]] +
-  * {{bib>bertrandAl-arxiv2020|Gradualizing the Calculus of Inductive Constructions}}: check out [[https://arxiv.org/abs/2011.10618|the draft]] (under revision)+
   * {{bib>toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://arxiv.org/abs/2010.11342|the draft]] (under revision)   * {{bib>toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://arxiv.org/abs/2010.11342|the draft]] (under revision)
   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]
  
- 
-===== Research Interests ===== 
- 
-    * programming and programming languages: design, semantics, implementation, analysis, type systems, verification 
-    * software modularity and adaptability 
-    * objects, functions, aspects, reflection, meta-programming, concurrency, distribution, mobility, etc. etc. 
-    * practice of programming: tool support, debugging, code mining, user experiments 
  
 ===== Academic Activities ===== ===== Academic Activities =====
Line 137: Line 132:
 ++++ Research Projects | ++++ Research Projects |
     * 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]
-    * 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]     * 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]     * FONDECYT Project 1150017 - Gradual Software Verification: Foundations and Applications [2015-2018/lead]
Line 186: Line 181:
 ++++ Grad students | ++++ Grad students |
     * [PhD] Elizabeth Labrada (gradual parametricity)     * [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://     * //Former PhD students://
         * Raimil Cruz: [[http://repositorio.uchile.cl/handle/2250/173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.         * Raimil Cruz: [[http://repositorio.uchile.cl/handle/2250/173839|Type Abstraction and Faceted Types for Declassification]]. Defended 15/01/2020.
Line 198: Line 195:
         * Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.         * Guillaume Pothier: [[http://repositorio.uchile.cl/handle/2250/102687|Towards Practical Omniscient Debugging]]. Defended 13/06/2011.
     * //Former MSc students://     * //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.         * 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.         * Fabian Mosso: [[http://repositorio.uchile.cl/handle/2250/176770|Countable Polymorphic May-Must Effects]] [co-advised with Matías Toro]. Defended 12/06/2020.