Ownership is theft-Reference-Cited by-同舟云学术

Ownership is theft

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

Author:

Levy Amit¹,Andersen Michael P.²,Campbell Bradford³,Culler David²,Dutta Prabal³,Ghena Branden³,Levis Philip¹,Pannuto Pat³

Affiliation:

1. Stanford University

2. University of California, Berkeley

3. University of Michigan

Publisher

ACM

Link

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

Reference14 articles.

1. Rust issue: "borrowck is unsound in the presence of &'static muts". https://github.com/rust-lang/rust/issues/27616. Rust issue: "borrowck is unsound in the presence of &'static muts". https://github.com/rust-lang/rust/issues/27616.

2. The Rust programming language. http://www.rust-lang.org. The Rust programming language. http://www.rust-lang.org.

3. SPIN —an extensible microkernel for application-specific operating system services

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

1. Towards Understanding Rust in the Era of AI for Science at an Ecosystem Scale;2024 6th International Conference on Communications, Information System and Computer Engineering (CISCE);2024-05-10

2. Degrees of Separation: A Flexible Type System for Safe Concurrency;Proceedings of the ACM on Programming Languages;2024-04-29

3. Profiling with trust: system monitoring from trusted execution environments;Design Automation for Embedded Systems;2024-02-16

4. On the Challenge of Sound Code for Operating Systems;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23

5. Aliasing Limits on Translating C to Safe Rust;Proceedings of the ACM on Programming Languages;2023-04-06