Abstract Tensor shape mismatch is a common source of bugs in deep learning programs. We propose new type-based approach to detect tensor mismatches. One the main features our best-effort inference. As inference problem undecidable general, we allow static type/shape be performed only manner. If cannot guarantee absence inconsistencies, dynamic checks are inserted into program. Another feature g...

Conflict-Free Replicated Data Types (CRDTs) are a recent approach for keeping replicated data consistent while guaranteeing the absence of conflicts among replicas. For correct operation, CRDTs rely on merge function that is commutative, associative and idempotent. Ensuring such algebraic properties satisfied by implementations, however, left to programmer, resulting in process complex error-pr...