Differences

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

--- start [2019/06/15 10:39] – etanter
+++ start [2021/08/31 09:11] – etanter
@@ Line 8: / Line 8: @@
 ===== Recent News =====
-  * {{bib>eremondiAl:icfp2019|Approximate Normalization for Gradual Dependent Types}} (Eremondi, Tanter, Garcia) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]]
+  * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]]
-  * {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]]
+  * É. 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}}
-  * {{bib>pedrotAl:icfp2019|A Reasonably Exceptional Type Theory}} (Pédrot, Tabareau, Fehrmann, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]]
+  * {{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>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]]
+  * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]]
-  * {{bib>toroAl-popl2019|Gradual Parametricity, Revisited}} (Toro, Labrada, Tanter) accepted at [[https://popl19.sigplan.org/home|POPL 2019]] **Distinguished Paper Award**
+  * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]]
-  * {{bib>vazouAl-oopsla2018|Gradual Liquid Type Inference}} (Vazou, Tanter, Van Horn) accepted at [[https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA|OOPSLA 2018]] **Distinguished Paper Award**
+  * {{bib>wiseAl-oopsla2020|Gradual Verification of Recursive Heap Data Structures}} accepted at [[https://2020.splashcon.org/track/splash-2020-oopsla|OOPSLA 2020]]
-  * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization of R}} (Bodin, Diaz, Tanter) accepted at [[https://conf.researchr.org/track/dls-2018/dls-2018/|DLS 2018]]
+  * {{bib>toroTanter-scp2020|Abstracting Gradual References}} accepted at Science of Computer Programming, presented at [[https://2020.ecoop.org/|ECOOP 2020]]
-  * {{bib>toroAl-toplas2018|Type-Driven Gradual Security with References}} (Toro, Garcia, Tanter) accepted at [[https://toplas.acm.org/|TOPLAS]]/presented at [[https://popl19.sigplan.org/|POPL 2019]]
+  * {{bib>abateAl:esop2020|Trace-Relating Compiler Correctness and Secure Compilation}} accepted at [[https://www.etaps.org/2020/esop|ESOP 2020]]
-  * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) accepted at [[https://icfp18.sigplan.org/home|ICFP 2018]] **Distinguished Paper Award**
+  * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]]
   * [[news-history|More...]]
@@ Line 24: / Line 24: @@
   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[people:etanter|Éric Tanter]], Full Professor
-  * [[people:racruz|Raimil Cruz]], PhD student
+  * [[people:mtoro|Matías Toro]], Postdoc
-  * [[people:mtoro|Matías Toro]], PhD student
+  * [[https://kenji.maillard.blue/|Kenji Maillard]], Postdoc
   * [[people:elabrada|Elizabeth Labrada]], PhD student
+  * Stefan Malewski, PhD student
   * [[people:fmosso|Fabian Mosso]], MSc student
   * Hans Fehrmann, MSc student
-  * Juan Pablo Paulsen, Engineering student
+  * Damián Arquez, MSc student
-  * Stefan Malewski, Undergrad student (USACH)