Theseus-Reference-Cited by-同舟云学术

Theseus

Published:2017-10-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th Workshop on Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Boos Kevin¹,Zhong Lin¹

Affiliation:

1. Rice University

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3144555.3144560

Reference45 articles.

1. DARPA seeks to create software systems that could last 100 years. https://www.darpa.mil/news-events/2015-04-08. Accessed: 2017-08-11. DARPA seeks to create software systems that could last 100 years. https://www.darpa.mil/news-events/2015-04-08. Accessed: 2017-08-11.

2. The PC upgrade cycle slows to every five to six years Intel's CEO says. http://www.pcworld.com/article/3078010/hardware/the-pc-upgrade-cycle-slows-to-every-five-to-six-years-intels-ceo-says.html. Accessed: 2017-08-11. The PC upgrade cycle slows to every five to six years Intel's CEO says. http://www.pcworld.com/article/3078010/hardware/the-pc-upgrade-cycle-slows-to-every-five-to-six-years-intels-ceo-says.html. Accessed: 2017-08-11.

3. Redox - Your Next(gen) OS. https://www.redox-os.org/. Accessed: 2017-08-11. Redox - Your Next(gen) OS. https://www.redox-os.org/. Accessed: 2017-08-11.

4. Tock embedded operating system. https://www.tockos.org/. Accessed: 2017-08-11. Tock embedded operating system. https://www.tockos.org/. Accessed: 2017-08-11.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems;Journal of Systems Architecture;2024-08

2. Understanding and Detecting Real-World Safety Issues in Rust;IEEE Transactions on Software Engineering;2024-06

3. Is rust used safely by software developers?;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

4. Understanding memory and thread safety practices and issues in real-world Rust programs;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06

5. Intra-unikernel isolation with Intel memory protection keys;Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments;2020-03-03