Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
start [2021/08/31 09:12]
etanter
start [2021/11/23 11:22] (current)
etanter
Line 8: Line 8:
  
 ===== Recent News ===== ===== Recent 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]]
   * {{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 25: 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