y0news
AnalyticsDigestsSourcesTopicsRSSAICrypto

#memory-safety News & Analysis

2 articles tagged with #memory-safety. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles
AIBullisharXiv – CS AI · Mar 277/10
🧠

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels

Researchers developed Model2Kernel, a system that automatically detects memory safety bugs in CUDA kernels used for large language model inference. The system discovered 353 previously unknown bugs across popular platforms like vLLM and Hugging Face with only nine false positives.

🏢 Hugging Face
AIBullishIEEE Spectrum – AI · Jan 287/104
🧠

Great Refactor Initiative Looks to AI to Harden Critical Code

The Institute for Progress launched the Great Refactor initiative to use AI tools to automatically convert 100 million lines of critical open-source code from vulnerable C/C++ languages to memory-safe Rust by 2030. The $100 million government-funded project aims to eliminate roughly 70% of software vulnerabilities by leveraging AI's ability to automate previously cost-prohibitive code translation tasks.