Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti. On the Challenge of Sound Code for Operating Systems. In Proceedings of the 12th Workshop on Programming Languages and Operating Systems, PLOS 2023, Koblenz, Germany, 23 October 2023. pages 83-90, ACM, 2023. [doi]
Abstract is missing.