会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
Improving Runtime Performance of Tensor Computations using Rust From Python
Arxiv
0+阅读 · 10月1日
Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)
Arxiv
0+阅读 · 10月1日
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
Arxiv
0+阅读 · 10月1日
Garbage Collection for Rust: The Finalizer Frontier
Arxiv
0+阅读 · 9月30日
PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
Arxiv
0+阅读 · 9月29日
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Arxiv
0+阅读 · 9月29日
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
Arxiv
0+阅读 · 9月26日
SandCell: Sandboxing Rust Beyond Unsafe Code
Arxiv
0+阅读 · 9月28日
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Arxiv
0+阅读 · 4月17日
Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
Arxiv
0+阅读 · 6月30日
Rust Implementation of Finite Element Exterior Calculus on Coordinate-Free Simplicial Complexes
Arxiv
0+阅读 · 6月18日
Rust Implementation of Finite Element Exterior Calculus on Coordinate-Free Simplicial Complexes
Arxiv
0+阅读 · 6月3日
An Interactive Debugger for Rust Trait Errors
Arxiv
0+阅读 · 4月25日
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
Arxiv
0+阅读 · 6月18日
Unlocking LLM Repair Capabilities in Low-Resource Programming Languages Through Cross-Language Translation and Multi-Agent Refinement
Unlocking LLM Repair Capabilities in Low-Resource Programming Languages Through Cross-Language Translation and Multi-Agent Refinement
Arxiv
0+阅读 · 4月3日
参考链接
子主题
Rust 编程
微信扫码咨询专知VIP会员
Top