Should have been used for the 2020 TIPE oral exam
[[git]](https://github.com/Vanille-N/TIPE)
Following an intership with [Arnaud Casteigts](https://www.labri.fr/perso/acasteig/) at [LaBRI (France)](https://www.labri.fr/).
Presented at [AATG 2021](https://mertzios.net/Workshops/ICALP-21-Satellite/Temporal-Graphs-ICALP-2021.html#casteigts) (online).
[[video]](https://youtu.be/yZRNLjbfxxs) [[beamer]](share/satge/beamer.pdf) [[report]](share/satge/report.pdf)
Following an internship with [Jukka Suomela](https://jukkasuomela.fi/) and [Darya Melnyk](https://darya-melnyk.github.io/) at [Aalto University, Finland](https://www.aalto.fi/en)
Published in [OPODIS 2022](https://sites.uclouvain.be/OPODIS2022/) (Brussels, Belgium).
[[arxiv]](https://arxiv.org/abs/2209.05363) [[preprint]](https://perso.crans.org/vanille/share/satge/m1/paper.pdf) [[beamer]](https://perso.crans.org/vanille/share/satge/m1/beamer.pdf) [[paper]](https://drops.dagstuhl.de/storage/00lipics/lipics-vol253-opodis2022/LIPIcs.OPODIS.2022.21/LIPIcs.OPODIS.2022.21.pdf)
I have worked at [MPI-SWS, Saarland (Germany)](https://www.mpi-sws.org/) on the [miri](https://github.com/rust-lang/miri) Rust interpreter to develop [Tree Borrows](https://perso.crans.org/vanille/treebor), an aliasing model. Presentations of Tree Borrows have been given:
You can look at the [material](https://github.com/vanille-n/tree-beamer), a [recording](https://www.youtube.com/watch?v=zQ76zLXesxA&t=2381s&pp=ygUMdHJlZSBib3Jyb3dz), and the [paper website](https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html)