Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
people:etanter [2022/03/07 14:18] – etanter | people:etanter [2022/06/11 19:49] – etanter |
---|
| |
===== News ====== | ===== News ====== |
* I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!) - consider submitting! | * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!) |
| * {{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}} to appear 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]] (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>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>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]] | |
| |
| |
* 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. | * 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. |
===== 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]] |
| |
<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> |
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.c |
| 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]] |