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
Next revisionBoth sides next revision
people:etanter [2022/07/01 03:12] – etanterpeople:etanter [2022/12/23 15:32] – etanter
Line 13: Line 13:
  
 ===== News ====== ===== News ======
 +  * I'm on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]]
 +  * {{bib>labradaAl-jacm2022|Gradual System F}} now published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}})
   * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!)   * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!)
   * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]   * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]
-  * {{bib>labradaAl-jacm2022|Gradual System F}} accepted in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}}) 
   * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]   * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed  Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]]
   * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]]   * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]]
Line 32: Line 33:
  
 ++++ Program Committee Member (Conferences) | ++++ Program Committee Member (Conferences) |
 +   * 28th ACM SIGPLAN International Conference on Functional Programming ([[http://conf.researchr.org/home/icfp-2023|ICFP 2023]])
    * 50th ACM SIGPLAN Conference on Principles of Programming Languages ([[http://conf.researchr.org/home/POPL-2023|POPL 2023]])    * 50th ACM SIGPLAN Conference on Principles of Programming Languages ([[http://conf.researchr.org/home/POPL-2023|POPL 2023]])
    * 17th ACM Dynamic Languages Symposium ([[https://conf.researchr.org/home/dls-2021|DLS 2021]])    * 17th ACM Dynamic Languages Symposium ([[https://conf.researchr.org/home/dls-2021|DLS 2021]])
Line 152: Line 154:
  
 ++++ Administration | ++++ Administration |
-    * Member of the Qualifying Committee of the Engineering Faculty (FCFM) [2020-]+    * Member of the Academic Qualification Committee of the Engineering Faculty (FCFM) [2020-]
     * Member of the Department Graduate Committee [2020-]     * Member of the Department Graduate Committee [2020-]
     * Director of the Computer Science Department [2016-2018]     * Director of the Computer Science Department [2016-2018]
Line 180: Line 182:
  
 ++++ Grad students | ++++ Grad students |
-    * [PhD] Elizabeth Labrada (gradual parametricity) 
     * [PhD] Stefan Malewski     * [PhD] Stefan Malewski
     * [PhD] Damian Arquez     * [PhD] Damian Arquez
Line 186: Line 187:
     * [MSc] Tomás Vallejos [co-advised with Aidan Hogan]     * [MSc] Tomás Vallejos [co-advised with Aidan Hogan]
     * //Former PhD students://     * //Former PhD students://
 +        * Elizabeth Labrada: Gradual System F. [co-advised with Matías Toro]. Defended 21/12/2022.
         * 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.
         * Matías Toro: [[http://repositorio.uchile.cl/handle/2250/170935|Abstracting Gradual Typing: Metatheory and Applications]]. Defended 05/07/2019.         * Matías Toro: [[http://repositorio.uchile.cl/handle/2250/170935|Abstracting Gradual Typing: Metatheory and Applications]]. Defended 05/07/2019.