会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
Arxiv
0+阅读 · 10月23日
HyperQB: A Bounded Model Checker for Hyperproperties
HyperQB: A Bounded Model Checker for Hyperproperties
Arxiv
0+阅读 · 10月21日
Latency Based Tiling
Arxiv
0+阅读 · 9月26日
Unlocking LLM Repair Capabilities Through Cross-Language Translation and Multi-Agent Refinement
Arxiv
0+阅读 · 10月18日
RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
Arxiv
0+阅读 · 10月17日
A Trace-based Approach for Code Safety Analysis
Arxiv
0+阅读 · 10月12日
Project-Level C-to-Rust Translation via Synergistic Integration of Knowledge Graphs and Large Language Models
Project-Level C-to-Rust Translation via Synergistic Integration of Knowledge Graphs and Large Language Models
Arxiv
0+阅读 · 10月13日
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
Arxiv
0+阅读 · 10月11日
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Arxiv
0+阅读 · 10月12日
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
Arxiv
0+阅读 · 10月10日
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Arxiv
0+阅读 · 10月10日
Modeling Reachability Types with Logical Relations
Arxiv
0+阅读 · 10月8日
TracE2E: Easily Deployable Middleware for Decentralized Data Traceability
Arxiv
0+阅读 · 10月9日
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
Arxiv
0+阅读 · 10月8日
Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress)
Arxiv
0+阅读 · 10月8日
参考链接
子主题
Rust 编程
微信扫码咨询专知VIP会员
Top