| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
| start [2019/06/11 08:55] – etanter | start [2021/08/31 09:11] – etanter |
|---|
| |
| ===== Recent News ===== | ===== Recent News ===== |
| * {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] | * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]] |
| * {{bib>toroAl-popl2019|Gradual Parametricity, Revisited}} (Toro, Labrada, Tanter) accepted at [[https://popl19.sigplan.org/home|POPL 2019]] **Distinguished Paper Award** | * É. 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>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>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] |
| * {{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>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]] |
| * {{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>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] |
| * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) accepted at [[https://icfp18.sigplan.org/home|ICFP 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>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}} accepted at [[https://www.etaps.org/2020/esop|ESOP 2020]] |
| | * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]] |
| | |
| * [[news-history|More...]] | * [[news-history|More...]] |
| |
| * [[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 |
| | |
