Author:
Ryzhyk Leonid,Chubb Peter,Kuz Ihor,Le Sueur Etienne,Heiser Gernot
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jacdac: Service-Based Prototyping of Embedded Systems;Proceedings of the ACM on Programming Languages;2024-06-20
2. Synthesizing Device Drivers with Ghost Writer;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23
3. Sfitag: Efficient Software Fault Isolation with Memory Tagging for ARM Kernel Extensions;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10
4. Why write address translation OS code yourself when you can synthesize it?;Proceedings of the 19th Workshop on Hot Topics in Operating Systems;2023-06-22
5. Towards Porting Operating Systems with Program Synthesis;ACM Transactions on Programming Languages and Systems;2023-03-03