Zobrazeno 1 - 10
of 68 988
pro vyhledávání: '"Rust P"'
Autor:
Blanc, Alex Le, Lam, Patrick
Rust aims to be a safe programming language applicable to systems programming applications. In particular, its type system has strong guardrails to prevent a variety of issues, such as memory safety bugs and data races. However, these guardrails can
Externí odkaz:
http://arxiv.org/abs/2410.01981
Autor:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we present AutoVerus. AutoVerus uses LLM to automati
Externí odkaz:
http://arxiv.org/abs/2409.13082
Autor:
Shiraishi, Momoko, Shinagawa, Takahiro
There is strong motivation to translate C code into Rust code due to the continuing threat of memory safety vulnerabilities in existing C programs and the significant attention paid to Rust as an alternative to the C language. While large language mo
Externí odkaz:
http://arxiv.org/abs/2409.10506
Testing is an essential tool to assure software, especially so in safety-critical applications. To quantify how thoroughly a software item has been tested, a test coverage metric is required. Maybe the strictest such metric known in the safety critic
Externí odkaz:
http://arxiv.org/abs/2409.08708
This study aimed to evaluate the effective management strategies of Albugo candida, a pathogen of white rust disease in red amaranth (Amaranthus tricolor L.), accountable for the reduction of seed production. The study was performed during the Rabi s
Externí odkaz:
http://arxiv.org/abs/2409.07579
The Rust programming language has garnered significant attention due to its robust safety features and memory management capabilities. Despite its guaranteed memory safety, Rust programs still suffer from runtime errors that are unmanageable, i.e., p
Externí odkaz:
http://arxiv.org/abs/2408.03262
MicroFlow is an open-source TinyML framework for the deployment of Neural Networks (NNs) on embedded systems using the Rust programming language, specifically designed for efficiency and robustness, which is suitable for applications in critical envi
Externí odkaz:
http://arxiv.org/abs/2409.19432
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Panter, Shane K., Eisty, Nasir U.
Context: The integration of Rust into kernel development is a transformative endeavor aimed at enhancing system security and reliability by leveraging Rust's strong memory safety guarantees. Objective: We aim to find the current advances in using Rus
Externí odkaz:
http://arxiv.org/abs/2407.18431