Systematic data-race and deadlock analysis for concurrent code.
Pre-flight checklist generator for schema migrations on live databases.