Author:
Ryzhyk Leonid,Chubb Peter,Kuz Ihor,Heiser Gernot
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Comparative Study on Fuchsia and Linux Device Driver Architecture;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
3. As Code Testing: Characterizing Test Quality in Open Source Ansible Development;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
4. AutoPA: automatically generating active driver from original passive driver code;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24
5. Towards Proving Optimistic Multicore Schedulers;Proceedings of the 16th Workshop on Hot Topics in Operating Systems;2017-05-07