Communications of the ACM

The LLVM Compiler Infrastructure

LLVM powers the core development tools, operating systems, and most applications at Apple Computer, where it long ago ...

Security, Trust & Governance: Securing Software That Increasingly Writes Itself: SD Times 100

Part of the SD Times 100 2026 series. See the full SD Times 100 2026 list for every category and honoree. Application security has spent years maturing around a relatively stable assumption: a human ...
MIT Technology ReviewOpinion

The Download: Anthropic launches Claude Science, and California’s carbon manure math

At an event for pharmaceutical executives, biotech founders, and researchers yesterday, Anthropic announced Claude Science, a ...

Real Intent Meridian CDC with Microarchitectural Analysis (MA) Transforms Clock Domain Crossing Sign-Off

Real Intent, Inc., today announced Meridian CDC with Microarchitectural Analysis (MA), a major leap forward for its industry-leading Meridian CDC clock domain crossing static sign-off tool. The ...

North Korea-Linked macOS Malware Uses Prompt Injection to Evade AI Analysis

SentinelOne says macOS.Gaslight uses prompt injection to mislead AI-based malware analysis, steal data, and use Telegram for ...
JD Supra

Security Is a Process, Not a Project: A Deep Dive into Why Continuous Compliance Is the Only Compliance That Works

Healthcare entities and their business associates (healthcare companies) have spent the better part of two decades navigating the Health ...

The End Of Static Planning: How Modeler AI Agents Are Reshaping Revenue Strategy

When planning operates on a cycle, there’s always a gap between when conditions change and when the plan reflects them.​ ...
TMCnet

VerSprite Launches Fork and Knife: AI-Driven Threat Modeling and Adversarial Testing Built for the Speed of Modern Software

The launch addresses a problem every security leader knows but few tools have solved: threat modeling is essential, never more so than in an AI-driven era, yet it has remained slow, manual, and ...
IEEE

Utilizing Dynamic Context and Static Analysis for Agent-Based Automated Program Repair

Abstract: Automated Program Repair (APR) addresses the challenge of reducing software maintenance costs and improving software reliability. While recent advances in Large Language Models (LLMs) ...
acm.org

Large Language Models in Software Security Analysis

Software systems control many key parts of society, including government agencies, medical services, utilities, and national defense infrastructure. Protecting these systems, however, is challenging ...
Nature

Static Program Analysis Techniques for Software Systems

Static program analysis encompasses a suite of techniques that examine software without executing it, in order to detect defects, verify properties and guide optimisation. Fundamental approaches ...
Forbes

From 'Shift Left' To 'Shift Smart': Why AI Agents Will Replace Static Analysis

Over the years, "shift left," a development practice that shifts testing, QA and security initiatives "left" on the timeline, has become the cornerstone of DevSecOps. I've watched it become the ...