AIware 2025
Wed 19 - Thu 20 November 2025
co-located with ASE 2025
Thu 20 Nov 2025 08:30 - 08:50 at Grand Hall 1 - AIware Keynotes Session 3 Chair(s): Gustavo A. Oliva

Spec Kit is an open‑source toolkit for Spec‑Driven Development that treats the spec as the executable center of gravity—driving planning, tasking, and implementation across today’s AI dev tools. I’ll demo the Specify CLI to go from intent to working code, show how plan‑and‑task breakdowns keep outcomes on‑spec, and discuss what reliably works (and where it doesn’t) when shipping real features with AI in the loop. We’ll also touch on current agent integrations (e.g., GitHub Copilot, Cursor, Claude Code, Gemini CLI) and the concrete developer workflows teams are adopting. I’ll preview two near‑term enhancements we’re building to tighten reliability. First, checklists as first‑class constraints: today they live inside spec templates; we’re lifting them out so teams can invoke reusable acceptance criteria on demand—gating generation, execution, and sign‑off across runs. Second, a Polya‑style loop—understand → plan → execute → review—operationalized end‑to‑end so humans and agents share one problem‑solving rhythm. Together these changes aim to reduce rework, make “what good looks like” explicit and verifiable, and keep fast paths fast without sacrificing correctness.

Thu 20 Nov

Displayed time zone: Seoul change

08:30 - 10:00
AIware Keynotes Session 3Keynotes at Grand Hall 1
Chair(s): Gustavo A. Oliva Centre for Software Excellence, Huawei Canada
08:30
20m
Keynote
Spec Kit in Practice: Executable Specs, On‑Demand Checklists, and a Polya Loop
Keynotes
K: John Lam Microsoft
Pre-print
08:50
20m
Keynote
Automatically Maintaining Agent Systems: How Far Are We?
Keynotes
K: Yiling Lou University of Illinois at Urbana-Champaign
09:10
20m
Keynote
Teaching LLMs to Debug: Toward Reasoning- and Tool-Aware Coding Agents
Keynotes
K: Chao Peng ByteDance
09:30
30m
Panel
Joint Q&A and Discussion
Keynotes