会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
Support + Belief = Decision Trust
Arxiv
0+阅读 · 12月2日
crate2bib: Citing Rust crates made easy
Arxiv
0+阅读 · 11月7日
crate2bib: Citing Rust crates made easy
Arxiv
0+阅读 · 11月13日
Soteria: Efficient Symbolic Execution as a Functional Library
Arxiv
0+阅读 · 11月11日
Soteria: Efficient Symbolic Execution as a Functional Library
Arxiv
0+阅读 · 11月14日
Soteria: Efficient Symbolic Execution as a Functional Library
Arxiv
0+阅读 · 11月24日
Soteria: Efficient Symbolic Execution as a Functional Library
Arxiv
0+阅读 · 11月19日
A Trace-based Approach for Code Safety Analysis
Arxiv
0+阅读 · 11月10日
Adversarial Agent Collaboration for C to Rust Translation
Arxiv
0+阅读 · 12月8日
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Arxiv
0+阅读 · 10月30日
TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
Arxiv
0+阅读 · 10月29日
TECS/Rust: Memory-safe Component Framework for Embedded Systems
Arxiv
0+阅读 · 10月29日
Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
Arxiv
0+阅读 · 10月26日
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Arxiv
0+阅读 · 10月24日
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
Arxiv
0+阅读 · 10月23日
参考链接
微信扫码咨询专知VIP会员
Top