I worked on Lustre as an undergrad student in my third year of studies. The goal of my internship was to develop a tiny system layer to allow dynamic scheduling

I worked on Lustre as an undergrad student in my third year of studies. The goal of my internship was to develop a tiny system layer to allow dynamic scheduling of Lustre tasks, rather than only having static scheduling (which has a lot of advantage wrt formal verification possibilities). I remember having a lot of fun doing so (partly thanks to the people I worked with, but also because Lustre is a very cool language to play with). My internship report, which contains a few snippets of Lustre code, is here if anyone is interested: https://pablo.rauzy.name/research/undergrad/verimag.pdf https://pablo.rauzy.name/research/undergrad/verimag.pdf Internship defense slides: https://pablo.rauzy.name/research/undergrad/verimag-slides.pdf https://pablo.rauzy.name/research/undergrad/verimag-slides.p... (ewww these colors… sorry for what 2010 me did with that).