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/11 08:55] – etanter | start [2021/04/10 20:54] – etanter | ||
---|---|---|---|
Line 8: | Line 8: | ||
===== Recent News ===== | ===== Recent News ===== | ||
- | * {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] | + | * É. Tanter is given the **Ten Years Most Influential Paper Award** at [[https:// |
- | * {{bib>toroAl-popl2019|Gradual | + | * {{bib> |
- | * {{bib>vazouAl-oopsla2018|Gradual Liquid Type Inference}} (Vazou, Tanter, Van Horn) accepted at [[https://conf.researchr.org/track/splash-2018/ | + | * {{bib>estepAl-ecoop2021|Gradual |
- | * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization | + | * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] |
- | * {{bib>toroAl-toplas2018|Type-Driven | + | * {{bib>wiseAl-oopsla2020|Gradual Verification |
- | * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) accepted at [[https://icfp18.sigplan.org/ | + | * {{bib>toroTanter-scp2020|Abstracting |
+ | * {{bib> | ||
+ | * {{bib>diazAl: | ||
+ | |||
* [[news-history|More...]] | * [[news-history|More...]] | ||
Line 21: | 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 |
+ |