会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
Combining Type Checking and Formal Verification for Lightweight OS Correctness
Arxiv
0+阅读 · 2024年12月31日
Charon: An Analysis Framework for Rust
Arxiv
0+阅读 · 1月3日
Reimplementing Mizar in Rust
Arxiv
0+阅读 · 2024年12月23日
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
Arxiv
1+阅读 · 2024年12月21日
Compiling C to Safe Rust, Formalized
Arxiv
2+阅读 · 2024年12月19日
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
Arxiv
1+阅读 · 2024年12月18日
Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
Arxiv
1+阅读 · 2024年12月19日
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Arxiv
1+阅读 · 2024年12月17日
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Arxiv
0+阅读 · 2024年12月9日
Fearless unsafe. Safety Property is all you need
Arxiv
0+阅读 · 2024年12月9日
An Experimental Framework for Implementing Decentralized Autonomous Database Systems in Rust
Arxiv
0+阅读 · 2024年12月6日
Translating C To Rust: Lessons from a User Study
Arxiv
0+阅读 · 2024年12月6日
Repository-level Code Translation Benchmark Targeting Rust
Arxiv
0+阅读 · 2024年11月26日
Repository-level Code Translation Benchmark Targeting Rust
Arxiv
0+阅读 · 2024年11月25日
A Modified Satterthwaite (1941,1946) Effective Degrees of Freedom Approximation
Arxiv
0+阅读 · 2024年11月22日
参考链接
子主题
Rust 编程
微信扫码咨询专知VIP会员
Top