Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
start [2019/06/14 14:46] – etanter | start [2021/04/10 20:40] – etanter |
---|
| |
===== Recent News ===== | ===== Recent News ===== |
| * É. 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>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>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] |
| * {{bib>wiseAl-oopsla2020|Gradual Verification of Recursive Heap Data Structures}} accepted at [[https://2020.splashcon.org/track/splash-2020-oopsla|OOPSLA 2020]] |
| * {{bib>toroTanter-scp2020|Abstracting Gradual References}} accepted at Science of Computer Programming, presented at [[https://2020.ecoop.org/|ECOOP 2020]] |
| * {{bib>abateAl:esop2020|Trace-Relating Compiler Correctness and Secure Compilation}} (Abate, Blanco, Ciobâcă, Garg, Hriţcu, Patrignani, Tanter, Thibault) accepted at [[https://www.etaps.org/2020/esop|ESOP 2020]] |
| * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} (Díaz, Olmedo, Tanter) accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]] |
| * {{bib>cruzTanter:aplas2019|Existential Types for Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://conf.researchr.org/home/aplas-2019|APLAS 2019]] |
* {{bib>eremondiAl:icfp2019|Approximate Normalization for Gradual Dependent Types}} (Eremondi, Tanter, Garcia) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] | * {{bib>eremondiAl:icfp2019|Approximate Normalization for Gradual Dependent Types}} (Eremondi, Tanter, Garcia) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] |
* {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martinez, Hriţcu, Rivas, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] | * {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] |
* {{bib>pedrotAl:icfp2019|A Reasonably Exceptional Type Theory}} (Pédrot, Tabareau, Fehrmann, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] | * {{bib>pedrotAl:icfp2019|A Reasonably Exceptional Type Theory}} (Pédrot, Tabareau, Fehrmann, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] |
* {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] | * {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] |
* [[people:folmedo|Federico Olmedo]], Assistant Professor | * [[people:folmedo|Federico Olmedo]], Assistant Professor |
* [[people:etanter|Éric Tanter]], Full 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 | * [[people:elabrada|Elizabeth Labrada]], PhD student |
| * Stefan Malewski, PhD student |
* [[people:fmosso|Fabian Mosso]], MSc student | * [[people:fmosso|Fabian Mosso]], MSc student |
* Hans Fehrmann, MSc student | * Hans Fehrmann, MSc student |
* Juan Pablo Paulsen, Engineering student | * Damián Arquez, MSc student |
| |