Hugo Lefeuvre. FlexOS: easy specialization of OS safety properties. In Kaiwen Zhang 0001, Abdelouahed Gherbi, Nalini Venkatasubramanian, Luís Veiga, editors, Middleware 2021: Proceedings of the 22nd International Middleware Conference: Doctoral Symposium, Québec City, Canada, December 6-10, 2021. pages 29-32, ACM, 2021. [doi]
Abstract is missing.