AWS DevOps & Developer Productivity Blog

AWS Graviton support for Java in AWS Transform continuous modernization

AWS Graviton support for Java in AWS Transform continuous modernization

AWS Transform continuous modernization now supports Graviton readiness assessment and remediation for Java. Learn how to analyze a Java repository for Graviton readiness, remediate the findings, validate the change on Arm64, and deploy the result on a Graviton-based instance.

A coordination framework for formal proof development with Kiro

A coordination framework for formal proof development with Kiro

MAESTRO is a prover harness in Kiro CLI that gives large language models a coordination framework for exploring, decomposing, and making structured progress on difficult proofs. It solves more hard theorems than Codex and Claude Code, including all six 2026 IMO problems in 1 hour 46 minutes.

AWS Village on the re:Invent expo floor, with a large illuminated AWS logo above attendees.

Your Guide to the Developer Tools Track at AWS re:Invent 2026

AWS re:Invent 2026 is almost here, and if you’re a developer, the Developer Tools (DVT) track is where you’ll want to spend your week. This year is all about agentic development, from multi-agent workflows to autonomous agents that keep working while you sleep. And CI/CD, Infrastructure as Code, and full-stack development are still well represented. […]

Run Maestro tests on real Android devices using AWS Device Farm

Run Maestro tests on real Android devices using AWS Device Farm

Learn how ManoMano runs Maestro mobile UI tests on real Android devices using the AWS Device Farm custom test environment. This post covers packaging your YAML flows, configuring the test spec, installing the Maestro CLI, handling manufacturer-specific device restrictions, and automating the workflow in your CI/CD pipeline.

Automate Active Directory joins for Elastic Beanstalk Windows applications

Automate Active Directory joins for Elastic Beanstalk Windows applications

AWS Elastic Beanstalk now joins your Windows Server instances to an Active Directory domain automatically at launch, before your application deploys, with no join scripts and no stored domain credentials. This walkthrough shows how to set it up, confirm the join, and see how Elastic Beanstalk reports a failed join without failing your deployment.

HERE Technologies and AWS: Accelerating NDS.Live with agentic AI

HERE Technologies and AWS: Accelerating NDS.Live with agentic AI

HERE Technologies is accelerating NDS.Live map data development with an orchestrated, multi-agent approach built on Kiro. Kiro powers, the Kiro CLI, a three-layer memory system, and Code Intelligence turned a fragile, manual workflow into a consistent, largely automated process with ASPICE traceability captured as work is created.

Restart EC2 and on-premises fleets faster with AWS CodeDeploy RESTART deployment mode

Restart EC2 and on-premises fleets faster with AWS CodeDeploy RESTART deployment mode

AWS CodeDeploy now offers a purpose-built RESTART deployment mode that reapplies the last successful revision to EC2 and on-premises fleets. It keeps restarts inside CodeDeploy with the same batch sizing, health checks, alarm monitoring, and rollback behavior as a standard deployment, and ran up to 6.1x faster in testing.

Integrate AWS DevOps Agent with third-party tools using Amazon EventBridge

Integrate AWS DevOps Agent with third-party tools using Amazon EventBridge

Learn how to connect AWS DevOps Agent investigation events to third-party tools such as Jira using Amazon EventBridge and AWS Lambda. This post walks through a deployable AWS CDK solution that automatically creates and updates Jira issues as an investigation progresses, and shows how to adapt the same pattern to ServiceNow, PagerDuty, and other tools.