Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
people:etanter [2021/11/03 09:42] – etanter | people:etanter [2022/12/23 15:32] – etanter | ||
---|---|---|---|
Line 13: | Line 13: | ||
===== News ====== | ===== News ====== | ||
- | * {{bib> | + | * I'm on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]] |
- | * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} presented at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]] | + | * {{bib> |
- | * Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|< | + | * I'm on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] (the 50th edition!) |
- | * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/ | + | * {{bib> |
- | * {{bib>estepAl-ecoop2021|Gradual Program Analysis | + | * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] |
- | * {{bib>toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://arxiv.org/abs/2010.11342|the draft]] (under revision) | + | * {{bib>labradaAl-oopsla2022|Plausible Sealing |
- | * {{bib>tabareauAl-jacm2020|The Marriage | + | * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], |
+ | * {{bib>abateAl-toplas2021|An Extended Account | ||
Line 32: | Line 33: | ||
++++ Program Committee Member (Conferences) | | ++++ Program Committee Member (Conferences) | | ||
+ | * 28th ACM SIGPLAN International Conference on Functional Programming ([[http:// | ||
+ | * 50th ACM SIGPLAN Conference on Principles of Programming Languages ([[http:// | ||
* 17th ACM Dynamic Languages Symposium ([[https:// | * 17th ACM Dynamic Languages Symposium ([[https:// | ||
* 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications | * 34th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications | ||
Line 131: | Line 134: | ||
++++ Research Projects | | ++++ Research Projects | | ||
* FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/ | * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/ | ||
- | * INRIA Équipe Associée GECO [2018-2020/lead] | + | * INRIA Équipe Associée GECO [2018-2022/lead] |
* CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/ | * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/ | ||
* FONDECYT Project 1150017 - Gradual Software Verification: | * FONDECYT Project 1150017 - Gradual Software Verification: | ||
Line 151: | Line 154: | ||
++++ Administration | | ++++ Administration | | ||
- | * Member of the Qualifying | + | * Member of the Academic Qualification |
* 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] Stefan Malewski |
- | * [MSc] Damian Arquez | + | * [PhD] Damian Arquez |
+ | * [PhD] Tomás Díaz | ||
+ | * [MSc] Tomás Vallejos | ||
+ | * [MSc] José Luis Romero | ||
* //Former PhD students:// | * //Former PhD students:// | ||
+ | * Elizabeth Labrada: Gradual System F. [co-advised with Matías Toro]. Defended 21/12/2022. | ||
* Raimil Cruz: [[http:// | * Raimil Cruz: [[http:// | ||
* Matías Toro: [[http:// | * Matías Toro: [[http:// | ||
Line 192: | Line 199: | ||
* Guillaume Pothier: [[http:// | * Guillaume Pothier: [[http:// | ||
* //Former MSc students:// | * //Former MSc students:// | ||
+ | * Damián Árquez: [[https:// | ||
* Hans Fehrmann: [[http:// | * Hans Fehrmann: [[http:// | ||
* Fabian Mosso: [[http:// | * Fabian Mosso: [[http:// | ||
Line 208: | Line 216: | ||
===== Publications ===== | ===== Publications ===== | ||
- | Online profiles: [[http:// | + | Online profiles: [[http:// |
+ | c_Tanter|ResearchGate]] | ||
Online libraries and indices: [[http:// | Online libraries and indices: [[http:// | ||
Line 219: | Line 228: | ||
< | < | ||
- | < | + | < |
+ | | ||
<div id=" | <div id=" | ||
</ | </ | ||
Line 227: | Line 237: | ||
I teach several [[teaching: | I teach several [[teaching: | ||
- | In particular, I use Shriram Krishnamurthi' | + | In particular, I use Shriram Krishnamurthi' |
+ | s.brown.edu/ | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// |