Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
start [2019/06/15 10:39] – etanter | start [2021/04/10 20:56] – etanter | ||
---|---|---|---|
Line 8: | Line 8: | ||
===== Recent News ===== | ===== Recent News ===== | ||
- | * {{bib> | + | * É. Tanter |
- | * {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at [[https:// | + | * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/ |
- | * {{bib>pedrotAl: | + | * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]] |
- | * {{bib>cruzTanter: | + | * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} |
- | * {{bib>toroAl-popl2019|Gradual | + | * {{bib>wiseAl-oopsla2020|Gradual |
- | * {{bib>vazouAl-oopsla2018|Gradual | + | * {{bib>toroTanter-scp2020|Abstracting Gradual References}} accepted |
- | * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization of R}} (Bodin, Diaz, Tanter) | + | * {{bib>abateAl: |
- | * {{bib>toroAl-toplas2018|Type-Driven Gradual Security with References}} (Toro, Garcia, Tanter) | + | * {{bib>diazAl: |
- | * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) | + | |
* [[news-history|More...]] | * [[news-history|More...]] | ||
Line 24: | Line 23: | ||
* [[people: | * [[people: | ||
* [[people: | * [[people: | ||
- | * [[people:racruz|Raimil Cruz]], PhD student | + | * [[people:mtoro|Matías Toro]], Postdoc |
- | * [[people:mtoro|Matías Toro]], PhD student | + | * [[https:// |
* [[people: | * [[people: | ||
+ | * Stefan Malewski, PhD student | ||
* [[people: | * [[people: | ||
* Hans Fehrmann, MSc student | * Hans Fehrmann, MSc student | ||
- | * Juan Pablo Paulsen, Engineering | + | * Damián Arquez, MSc student |
- | * Stefan Malewski, Undergrad student (USACH) | + | |