Sessions
Type-Driven AI: High quality Scala code with LLM
Talk
13. October 2026, 16:55 - 17:25
Kesselhaus
Speed without quality is debt. This talk shows how Scala's type system, combined with a multi-layer validation pipeline (compiler, linting, property tests, mutation testing, and formal verification) helped by a concepts inventory and types generation acts as a guardrail for LLM-generated code, keeping correctness non-negotiable.