Systematic data-race and deadlock analysis for concurrent code.
Pre-flight checklist generator for schema migrations on live databases.
Design a consistent error vocabulary for a JSON API, with status mapping.
Explain-plan driven Postgres query optimization with index proposals.