Image de couverture de livre

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nitin, Vikram, Mulhern, Anne, Arora, Sanjay, Ray, Baishakhi
Format:	Preprint
Publié:	2023
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
par: Nitin, Vikram, et autres
Publié: (2025)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
par: Nitin, Vikram, et autres
Publié: (2024)

Code Quality Analysis of Translations from C to Rust
par: Tadesse, Biruk, et autres
Publié: (2026)

FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
par: Nitin, Vikram, et autres
Publié: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

Automatic Programming: Large Language Models and Beyond
par: Lyu, Michael R., et autres
Publié: (2024)

PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
par: Ni, Yunbo, et autres
Publié: (2024)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
par: Przymus, Piotr, et autres
Publié: (2025)

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
par: Davis, Matthew, et autres
Publié: (2025)

Trustworthy AI Software Engineers
par: Aleti, Aldeida, et autres
Publié: (2026)

Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities
par: Chen, Simin, et autres
Publié: (2025)

Dynamic Benchmarking of Reasoning Capabilities in Code Large Language Models Under Data Contamination
par: Chen, Simin, et autres
Publié: (2025)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
par: Hattori, Joe, et autres
Publié: (2026)

An Annotation-based Approach for Finding Bugs in Neural Network Programs
par: Rezaalipour, Mohammad, et autres
Publié: (2021)

KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
par: Mathai, Alex, et autres
Publié: (2024)

Evaluating the Effectiveness of Small Language Models in Detecting Refactoring Bugs
par: Gheyi, Rohit, et autres
Publié: (2025)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
par: Rathnasuriya, Ravishka, et autres
Publié: (2026)

Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection
par: Shirai, Tatsuya, et autres
Publié: (2026)

Agentic AI Software Engineers: Programming with Trust
par: Roychoudhury, Abhik, et autres
Publié: (2025)

PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing
par: Zhang, Yuwei, et autres
Publié: (2025)

Vulnerability Detection with Code Language Models: How Far Are We?
par: Ding, Yangruibo, et autres
Publié: (2024)

GitBugs: Bug Reports for Duplicate Detection, Retrieval Augmented Generation, Triage, and More
par: Patil, Avinash, et autres
Publié: (2025)

STEAM: Simulating the InTeractive BEhavior of ProgrAMmers for Automatic Bug Fixing
par: Zhang, Yuwei, et autres
Publié: (2023)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
par: Wright, Tanner, et autres
Publié: (2026)

Terminus-4B: Can a Smaller Model Replace Frontier LLMs at Agentic Execution Tasks?
par: Garg, Spandan, et autres
Publié: (2026)

Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
par: Hong, Jaemin, et autres
Publié: (2025)

CYCLE: Learning to Self-Refine the Code Generation
par: Ding, Yangruibo, et autres
Publié: (2024)

SmartC2Rust: Iterative, Feedback-Driven C-to-Rust Translation via Large Language Models for Safety and Equivalence
par: Shiraishi, Momoko, et autres
Publié: (2024)

Detecting Metadata-Related Bugs in Enterprise Applications
par: Kabir, Md Mahir Asef, et autres
Publié: (2025)

Feature Slice Matching for Precise Bug Detection
par: Ma, Ke, et autres
Publié: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
par: Ou, Guangsheng, et autres
Publié: (2024)

HALURust: Exploiting Hallucinations of Large Language Models to Detect Vulnerabilities in Rust
par: Luo, Yu, et autres
Publié: (2025)

Enriching Automatic Test Case Generation by Extracting Relevant Test Inputs from Bug Reports
par: Ouédraogo, Wendkûuni C., et autres
Publié: (2023)

Bug Whispering: Towards Audio Bug Reporting
par: Masserini, Elena, et autres
Publié: (2025)

Exploring the Capabilities of Vision-Language Models to Detect Visual Bugs in HTML5 <canvas> Applications
par: Macklon, Finlay, et autres
Publié: (2025)

Duplicate Bug Report Detection: How Far Are We?
par: Zhang, Ting, et autres
Publié: (2022)

Checker Bug Detection and Repair in Deep Learning Libraries
par: Harzevili, Nima Shiri, et autres
Publié: (2024)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
par: Oliveira, Jonhnanthan, et autres
Publié: (2025)

DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
par: Suo, Chenyao, et autres
Publié: (2025)

Deep Learning Based Concurrency Bug Detection and Localization
par: Feng, Zuocheng, et autres
Publié: (2025)