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/07/19 11:48] – etanter | people:etanter [2022/06/23 11:31] – etanter | ||
---|---|---|---|
Line 13: | Line 13: | ||
===== News ====== | ===== News ====== | ||
- | * Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|< | + | * I'm on the PC of [[http://conf.researchr.org/home/ |
- | * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear | + | * {{bib>labradaAl-jacm2022|Gradual System F}} accepted |
- | * {{bib>estepAl-ecoop2021|Gradual Program Analysis | + | * {{bib>eremondiAl-icfp2022|Propositional Equality |
- | * {{bib>bertrandAl-arxiv2020|Gradualizing the Calculus of Inductive Constructions}}: check out [[https://arxiv.org/abs/2011.10618|the draft]] (under revision) | + | * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]] |
- | * {{bib>toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://arxiv.org/abs/2010.11342|the draft]] (under revision) | + | * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} published in [[https://dl.acm.org/journal/toplas|TOPLAS]], |
- | * {{bib>tabareauAl-jacm2020|The Marriage | + | * {{bib>abateAl-toplas2021|An Extended Account |
- | |||
- | ===== Research Interests ===== | ||
- | |||
- | * programming and programming languages: design, semantics, implementation, | ||
- | * software modularity and adaptability | ||
- | * objects, functions, aspects, reflection, meta-programming, | ||
- | * practice of programming: | ||
===== Academic Activities ===== | ===== Academic Activities ===== | ||
Line 38: | Line 31: | ||
++++ Program Committee Member (Conferences) | | ++++ Program Committee Member (Conferences) | | ||
+ | * 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 137: | Line 131: | ||
++++ 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 186: | Line 180: | ||
++++ Grad students | | ++++ Grad students | | ||
* [PhD] Elizabeth Labrada (gradual parametricity) | * [PhD] Elizabeth Labrada (gradual parametricity) | ||
- | * [MSc] Damian Arquez | + | * [PhD] Stefan Malewski |
+ | * [PhD] Damian Arquez | ||
+ | * [PhD] Tomás Díaz | ||
+ | * [MSc] Tomás Vallejos | ||
* //Former PhD students:// | * //Former PhD students:// | ||
* Raimil Cruz: [[http:// | * Raimil Cruz: [[http:// | ||
Line 198: | Line 195: | ||
* 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 214: | Line 212: | ||
===== Publications ===== | ===== Publications ===== | ||
- | Online profiles: [[http:// | + | Online profiles: [[http:// |
+ | c_Tanter|ResearchGate]] | ||
Online libraries and indices: [[http:// | Online libraries and indices: [[http:// | ||
Line 225: | Line 224: | ||
< | < | ||
- | < | + | < |
+ | | ||
<div id=" | <div id=" | ||
</ | </ | ||
Line 233: | Line 233: | ||
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:// |