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
people:etanter [2021/11/03 09:39] – etanterpeople:etanter [2021/11/03 09:42] – etanter
Line 13: Line 13:
  
 ===== News ====== ===== News ======
-  * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} accepted for publication 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}} presented at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 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}}   * Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/|<Programming> 2020]] for my {{bib>tanter:aosd2010|AOSD 2010 paper}}
Line 21: Line 21:
   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]   * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]
  
- 
-===== Research Interests ===== 
- 
-    * programming and programming languages: design, semantics, implementation, analysis, type systems, verification 
-    * software modularity and adaptability 
-    * objects, functions, aspects, reflection, meta-programming, concurrency, distribution, mobility, etc. etc. 
-    * practice of programming: tool support, debugging, code mining, user experiments 
  
 ===== Academic Activities ===== ===== Academic Activities =====