The evil @[email protected] made me submit something to the #plos21 Workshop. And so should you do. There is still time to finish your paper and hit the submit button.

@AmarOk haha vrai! Je n'y avais pas pensé, je trouvais ce néon rose amusant mais il ne rend pas très bien sur la photo 😟

Il y a COMPAS'21 la semaine prochaine! Je présenterai "FlexOS : Vers une Isolation Flexible du Noyau". On parlera compartimentage, noyau, spécialisation, sécurité, et un peu vérification formelle...

June clouds,
At ease on
Arashiyama Peak.

- Bashō 松尾芭蕉

First day at the office after almost a year remote!

Really happy to see getting better and better! I worked a lot on the Gnome code base, but the benefits of a unified client are clear. :)

Another really interesting piece of work: "Unix Shell Programming: The Next 50 Years". The presentation was excellent!

The video:
The paper:

Very, very cool presentation of "Stop! Hammer Time: Rethinking Our Approach to Rowhammer Mitigations" yesterday by Kevin Loughlin: the entire presentation RHYMES!

The video:

The paper:

HotOS is a really nice workshop for crazy OS/systems research. Clearly you don't need to be into academic research to enjoy it! The registration is free and videos are online:

Show thread

Next week I will present my research, "FlexOS: Making OS Isolation Flexible" at HotOS'21!

In this position paper, we investigate flexible isolation boundaries in modern OSes. The goal is
to design an OS that is not bound to a specific isolation approach or mechanism! How cool is this?!


Recommendation: "Hôtel des Lucioles", un album jeunesse plein de bonnes ondes, "insectophile, écologique et humoristique"! Les illustrations sont géniales, la réalisation locale et écolo. 🐝

Il reste 8 jours pour soutenir le projet!

Our paper "Unikraft: Fast, Specialized Unikernels the Easy Way" been awarded Best Paper Award at ! :)

The welcome session of EuroSys'21 is starting! 🐑 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Show thread
Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!