会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
VeruSteer: Learning What to Repair Next in Verus
Arxiv
0+阅读 · 10月21日
Agentic Verified Optimization of Real-World Software
Arxiv
0+阅读 · 10月20日
Reinforced Linear Genetic Programming
Arxiv
0+阅读 · 10月20日
infomeasure-rs: A High-Performance Rust Library for Information-Theoretic Measures and Estimators
Arxiv
0+阅读 · 10月20日
Multi-Agent Strategies for Bridging Programming Language Gaps in Code Generation
Arxiv
0+阅读 · 10月19日
VerusEval: Evaluating LLM-Generated Verus Specifications Beyond Verifier Acceptance
Arxiv
0+阅读 · 10月19日
XRust: Detecting Logical Races in Rust Linux Drivers
Arxiv
0+阅读 · 10月19日
Evaluating and Improving Static Application Security Testing Tools for Rust
Arxiv
0+阅读 · 10月17日
A Unified Intermediate Representation and Execution Architecture for Heterogeneous and Distributed Neural Simulation
Arxiv
0+阅读 · 10月10日
Where Does the Performance Go? Understanding and Recovering Performance Regressions in C-to-Rust Translation
Arxiv
0+阅读 · 10月16日
Evaluating and Improving Static Application Security Testing Tools for Rust
Arxiv
0+阅读 · 10月15日
Building Sound Evaluation Practices for Rust-Based Security Frameworks
Arxiv
0+阅读 · 10月14日
TLA-Verus: Generating and Solving Temporal Proof Obligations with LLM Agents
Arxiv
0+阅读 · 10月15日
From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware
Arxiv
0+阅读 · 10月13日
KNN Implementation Details Can Dramatically Change Performance: An Example from Cover Trees
Arxiv
0+阅读 · 10月12日
参考链接
微信扫码咨询专知VIP会员
Top