Research papers hold ideas you won't find in any docs, blog posts, or explainer videos. They're also brutal to read, and can leave you frustrated. This talk is about how to actually read one, layer by layer. First what the paper is about, then why it's important, and finally how it works. We'll start with AWS IAM Access Analyzer and it's paper on Stratified Predicate Abstraction. Then we'll work backwards through the research papers it's built on, learning about SMT solvers and Decision Procedures. You'll walk out with a method you can use on any paper, in any field.
What this session is about
Playbook
Editorial commentary · what to actually do about this on Monday
Independent editorial perspective — not an official AWS or speaker statement. Designed for executives evaluating what to brief their teams on next.
Live updates related to this session LIVE
Sourced via Parallel AI Monitor — continuous web watch on 21 topical streams. Updated .
- mongodb.com high confidence Agent-native data infrastructure
MongoDB Launches Atlas Agent Engine to Put AI Agents in Production Without a New Stack | MongoDB
MongoDB launched Atlas Agent Engine, a unified platform built on MongoDB Atlas for designing, deploying, and governing production AI agents without requiring a separate infrastructure stack. It combines agent execution, memory, and retrieval using MongoDB native retrieval and Voy
- truefoundry.com Agent identity & delegation
AI Agent Governance: Five Pillars, Built as Systems
BCG published “The Authorization Gap: Why Yesterday’s Controls Won’t Work with Today’s Agents,” proposing purpose- and conduct-bound authorization. The model requires every agent action to carry the agent identity, the human or business function represented, the delegated purpose
- vmblog.com Agent identity & delegation
Hope Isn't an AI Strategy: RSA Agent ID Closes ...
In this September 30 article, IAPP describes an accountability gap in the Model Context Protocol (MCP): its latest release supports enterprise-managed authorization through existing identity providers, but MCP does not provide built-in standards for tracing and logging agent acti
- hpcwire.com Agent-native data infrastructure
AIwire - Covering Scientific & Technical AI
Kestra announced Kestra 2.0, a governed orchestration layer spanning data, infrastructure, applications, business processes, and AI agents. The release lets workflows be exposed as tools for external agents, requires approval before production execution, applies action-based acce
- bcg.com Agent identity & delegation
The Authorization Gap in AI Agent Governance
BCG published “The Authorization Gap: Why Yesterday’s Controls Won’t Work with Today’s Agents,” proposing purpose- and conduct-bound authorization. The model requires every agent action to carry the agent identity, the human or business function represented, the delegated purpose
External links matched to this session via topic relevance. The KB does not endorse third-party content; verify before citing.