会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
Arxiv
0+阅读 · 2月18日
Rust and Go directed fuzzing with LibAFL-DiFuzz
Arxiv
0+阅读 · 2月17日
Automated Proof Generation for Rust Code via Self-Evolution
Arxiv
0+阅读 · 2月14日
Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports
Arxiv
0+阅读 · 2月6日
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
Arxiv
0+阅读 · 2月7日
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
Arxiv
0+阅读 · 2月14日
Meta-Monomorphizing Specializations
Arxiv
0+阅读 · 2月13日
Auditing Rust Crates Effectively
Arxiv
0+阅读 · 2月6日
Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection
Arxiv
0+阅读 · 2月5日
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
Arxiv
0+阅读 · 2月4日
Code Quality Analysis of Translations from C to Rust
Arxiv
0+阅读 · 1月31日
MiniTensor: A Lightweight, High-Performance Tensor Operations Library
Arxiv
0+阅读 · 1月27日
Rust and Go directed fuzzing with LibAFL-DiFuzz
Arxiv
0+阅读 · 1月30日
SandCell: Sandboxing Rust Beyond Unsafe Code
Arxiv
0+阅读 · 1月18日
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
Arxiv
0+阅读 · 1月20日
参考链接
微信扫码咨询专知VIP会员
Top