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
people:etanter [2022/06/11 19:49]
etanter
people:etanter [2022/11/18 08:47] (current)
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>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 30: 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 150: 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 179: Line 183:
 ++++ Grad students | ++++ Grad students |
     * [PhD] Elizabeth Labrada (gradual parametricity)     * [PhD] Elizabeth Labrada (gradual parametricity)
 +    * [PhD] Stefan Malewski
     * [PhD] Damian Arquez     * [PhD] Damian Arquez
     * [PhD] Tomás Díaz      * [PhD] Tomás Díaz