Infrastructure from Specs: spec-driven development for cloud solutions

Specifications are becoming executable artifacts. How do modern Spec-Driven Development (SDD) frameworks invert traditional infrastructure workflows? Instead of writing code and hoping documentation keeps up, you write specifications that generate implementation.

Let's compare two leading frameworks (Kiro Specs, GitHub SpecKit) and examine their approaches to capturing architectural intent, enforcing consistency across teams, and preventing infrastructure drift.

Whether you're building greenfield systems or evolving existing cloud infrastructure, learn how to use specs as your single source of truth and why this matters at scale.

Declarative vs programmatic IaC

What’s the difference between declarative and programmatic approaches to Infrastructure as Code? Why does it matter, and when should you choose each approach?

Explore best practices for writing maintainable, scalable Infrastructure as Code across AWS CloudFormation, AWS SAM, AWS CDK, Pulumi, Terraform, SST, and Serverless Framework. Learn how to leverage the strengths of each approach while avoiding common pitfalls.

In a short code walkthrough, you’ll see the power of AWS CDK constructs and patterns in action, showcasing how programmatic IaC can simplify complex infrastructure scenarios.

Slideshow + live demo + Q&A

Colorful quantum randomness

Experience the power of quantum superposition through this visual hands-on demo to generate truly random colors using actual quantum computers available on Amazon Braket.

See how quantum randomness can supercharge real-world applications in cryptography, material science simulation, and optimization problems that classical computers struggle to solve efficiently.

Showcase of quantum algorithm development using OpenQASM and Qiskit frameworks, running on IBM Quantum and Amazon Braket platforms. No prior quantum physics knowledge required, just bring your curiosity for emerging technologies!

From serverless to functionless

What if you could build your next serverless application without a single Lambda function? Let me introduce you to the functionless model: a serverless architecture that emphasizes event-driven, service-based design by connecting AWS services directly, eliminating the need to package, deploy, and manage countless individual Lambda functions.

In this demo, you’ll see a functionless application in action, built with AWS CDK. Instead of writing custom code in intermediary Lambda functions, the application uses direct integrations between AppSync, Step Functions, EventBridge, and DynamoDB to handle all business logic and data flow.

You’ll walk away understanding how to reduce operational complexity, improve performance, and lower costs by leveraging native AWS service integrations. All while building more maintainable serverless architectures, and having a bit of fun in the process.

Build a self-service for your tenant AWS accounts

How to use AWS Service Catalog to build catalogs of products (CloudFormation templates) and to distribute them to end-users? Create portfolio based on library of ready to use products, deploy own products with AWS CDK, share portfolios with AWS Organisations, integrate AWS Service Catalog with ServiceNow.

Policy as Code with AWS CDK and GitHub Actions

As infrastructure moves faster with Infrastructure as Code and continuous delivery, securing cloud environments can't be just an add-on.

Explore how to embed Policy as Code into your CI/CD pipelines using AWS CDK and GitHub Actions. Ensure that security and compliance are automated from the start.

Level up your DevSecOps game with some actionable insights to help you build secure AWS infrastructures by default.

Preferred session duration: 30-45 mins

Conversational IaC with AWS MCP Servers

What if you could vibe engineer your serverless solutions on AWS using coding agents?

Discover how to combine Kiro CLI, AWS CDK, and AWS MCP Servers to rapidly develop serverless architectures through natural language prompts, and how to do it in a controlled, secure manner.

In this live demo, you’ll see how to build from scratch a simple event-driven app (Functionless Address Book), with help of Kiro CLI and AWS MCP Servers for CDK, Step Functions, DynamoDB.

Understand how AI-assisted IaC development can accelerate your workflow, make your infrastructure more secure & resilient, or help you refactor your IaC between frameworks.

Preferred session duration: 30-45 mins

Spec-Driven Infrastructure: building AWS solutions with Kiro Specs

Serverless computing abstracts infrastructure away, but that abstraction hides critical architectural decisions.

Let's explore how to use Kiro Specs to make those decisions explicit, AWS MCP servers to understand what AWS services offer and what your architecture requires, and AWS CDK to generate infrastructure from specifications.

A live demo shows the complete flow: from spec to generated infrastructure.