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
start [2021/11/03 09:40] etanterstart [2021/11/23 11:22] etanter
Line 10: Line 10:
   * {{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]]   * {{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]]
   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]   * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
-  * É. Tanter is given the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}}+  * É. Tanter receives the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}}
   * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]]   * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]]
   * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]]   * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]]
Line 26: Line 26:
   * [[people:etanter|Éric Tanter]], Full Professor   * [[people:etanter|Éric Tanter]], Full Professor
   * [[people:mtoro|Matías Toro]], Postdoc   * [[people:mtoro|Matías Toro]], Postdoc
-  * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc+  * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc (with Nicolas Tabareau / Gallinette, Inria)
   * [[people:elabrada|Elizabeth Labrada]], PhD student   * [[people:elabrada|Elizabeth Labrada]], PhD student
   * Stefan Malewski, PhD student   * Stefan Malewski, PhD student
-  * [[people:fmosso|Fabian Mosso]]MSc student +  * Bruno GarcíaPhD student 
-  * Hans FehrmannMSc student +  * Damián ArquezPhD student 
-  * Damián Arquez, MSc student+  * Tomás Díaz, PhD student 
 +  * Tomás Vallejos, MSc student