#software-reliability News & Analysis

3 articles tagged with #software-reliability. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

3 articles

AIBullisharXiv – CS AI · Jun 237/10

🧠

Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale

Holmes is a multi-agent AI system that automates root cause analysis for mobile app crashes in large-scale production environments by synthesizing runtime signals like stack traces and logs without requiring local reproduction. Deployed at WeChat, it achieves 87.6% accuracy in fault localization and reduces debugging time from hours to 77 seconds, demonstrating practical AI applications in enterprise software reliability.

AINeutralarXiv – CS AI · Jun 26/10

🧠

Not All Errors Are Equal: A Systematic Study of Error Propagation in Large Language Model Inference

Researchers present LLMFI, a fault-injection framework that systematically studies how hardware errors propagate through large language model inference across multiple domains. The study identifies critical vulnerability patterns and proposes four software-only reliability improvements, providing practical guidance for deploying LLMs in high-performance computing environments.

CryptoBullishVitalik Buterin Blog · May 186/10

⛓️

A shallow dive into formal verification

This article provides an introductory overview of formal verification, a mathematical approach to proving software correctness that has become increasingly important in cryptocurrency and blockchain development. The piece examines how formal verification methods can enhance security and reliability in smart contracts and critical systems.