会员服务
Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
Arxiv
0+阅读 · 4月18日
&inator: Correct, Precise C-to-Rust Interface Translation
Arxiv
0+阅读 · 4月19日
&inator: Correct, Precise C-to-Rust Interface Translation
Arxiv
0+阅读 · 4月21日
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
Arxiv
0+阅读 · 3月28日
Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
Arxiv
0+阅读 · 4月28日
CMind: An AI Agent for Localizing C Memory Bugs
Arxiv
0+阅读 · 2月20日
A Core Calculus for Type-safe Product Lines of C Programs
Arxiv
0+阅读 · 3月4日
Scylla: Translating an Applicative Subset of C to Safe Rust
Arxiv
0+阅读 · 2月25日
Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
Arxiv
0+阅读 · 3月5日
SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
SPARC: Scenario Planning and Reasoning for Automated C Unit Test Generation
Arxiv
0+阅读 · 2月18日
The Green Side of the Lua
Arxiv
0+阅读 · 1月30日
The Green Side of the Lua
Arxiv
0+阅读 · 1月23日
CMind: An AI Agent for Localizing C Memory Bugs
Arxiv
0+阅读 · 1月20日
Tensor Algebra Processing Primitives (TAPP): Towards a Standard for Tensor Operations
Tensor Algebra Processing Primitives (TAPP): Towards a Standard for Tensor Operations
Arxiv
0+阅读 · 1月12日
Metric/Nonmetric Elastic MDS
Arxiv
0+阅读 · 2025年11月24日
参考链接
微信扫码咨询专知VIP会员
Top