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/06/11 19:49] etanterpeople:etanter [2022/11/18 08:46] 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]]
-  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]] +  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], 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]] (December 2021)+  * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]]
  
  
Line 150: Line 153:
  
 ++++ 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 182:
 ++++ 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