Linked Presentation: EINNET: Optimizing Tensor Programs with Derivation-Based TransformationsCocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning