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 [2021/11/13 11:20] etanterpeople:etanter [2022/11/18 08:46] etanter
Line 13: Line 13:
  
 ===== News ====== ===== 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]]+  * 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!) 
 +  * {{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>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]], 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>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>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) 
-  * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] 
  
  
Line 32: Line 33:
  
 ++++ Program Committee Member (Conferences) | ++++ Program Committee Member (Conferences) |
 +   * 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]])
    * 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications  ([[https://conf.researchr.org/track/splash-2019/splash-2019-oopsla|OOPSLA 2019]])    * 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications  ([[https://conf.researchr.org/track/splash-2019/splash-2019-oopsla|OOPSLA 2019]])
Line 151: 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 180: Line 182:
 ++++ 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] Stefan Malewski 
 +    * [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 192: Line 197:
         * 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: [[https://repositorio.uchile.cl/handle/2250/182959|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.
Line 208: Line 214:
 ===== Publications ===== ===== Publications =====
  
-Online profiles: [[http://scholar.google.com/citations?user=d0LISE4AAAAJ|Google Scholar]]     [[https://www.researchgate.net/profile/Eric_Tanter|ResearchGate]]+Online profiles: [[http://scholar.google.com/citations?user=d0LISE4AAAAJ|Google Scholar]]     [[https://www.researchgate.net/profile/Eri 
 +c_Tanter|ResearchGate]]
  
 Online libraries and indices: [[http://dblp.uni-trier.de/db/indices/a-tree/t/Tanter:=Eacute=ric.html|DBLP]]   [[http://portal.acm.org/author_page.cfm?id=81100346970|ACM]]   [[http://www.springerlink.com/content/?k=eric+tanter|SpringerLink]] Online libraries and indices: [[http://dblp.uni-trier.de/db/indices/a-tree/t/Tanter:=Eacute=ric.html|DBLP]]   [[http://portal.acm.org/author_page.cfm?id=81100346970|ACM]]   [[http://www.springerlink.com/content/?k=eric+tanter|SpringerLink]]
Line 219: Line 226:
  
 <html> <html>
-<script>load_bibtex('etanter')</script>+<script>window.addEventListener("load", function(event) { 
 +    load_bibtex('etanter'); });</script>
 <div id="bibtex">Loading bibtex info...</div> <div id="bibtex">Loading bibtex info...</div>
 </html> </html>
Line 227: Line 235:
 I teach several [[teaching:|courses]] related to programming languages.  I teach several [[teaching:|courses]] related to programming languages. 
  
-In particular, I use Shriram Krishnamurthi's [[http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/|PLAI]] book for the first PL course. I have written a couple of add-ons for PLAI:+In particular, I use Shriram Krishnamurthi's [[http://www.
 +s.brown.edu/~sk/Publications/Books/ProgLangs/|PLAI]] book for the first PL course. I have written a couple of add-ons for PLAI:
   * [[http://www.dcc.uchile.cl/~etanter/preplai|PrePLAI]]: crash course on Scheme and functional programming (in spanish)   * [[http://www.dcc.uchile.cl/~etanter/preplai|PrePLAI]]: crash course on Scheme and functional programming (in spanish)
   * [[http://users.dcc.uchile.cl/~etanter/scope/|A Note on Scope]]   * [[http://users.dcc.uchile.cl/~etanter/scope/|A Note on Scope]]