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 Both sides next revision
people:etanter [2021/11/08 12:03]
etanter
people:etanter [2021/11/13 11:20]
etanter
Line 14: Line 14:
 ===== News ====== ===== 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>​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>​abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} published in [[https://​dl.acm.org/​journal/​toplas|TOPLAS]]
   * {{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}}
-  * {{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}} presented at [[https://​2021.ecoop.org/​|ECOOP 2021]]   * {{bib>​estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} presented at [[https://​2021.ecoop.org/​|ECOOP 2021]]
   * {{bib>​toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://​arxiv.org/​abs/​2010.11342|the draft]] (under revision)   * {{bib>​toroAl-arxiv2020|Contextual Linear Types for Differential Privacy}}: check out [[https://​arxiv.org/​abs/​2010.11342|the draft]] (under revision)