Toward Scalable Verification for Safety-Critical Deep Networks
A domain-specific approach to heterogeneous parallelism