* Yang et al. (2021) Yichen Yang, Phitchaya Phothilimthana, Yisu Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021\.  Equality saturation for tensor graph superoptimization.  _Proceedings of Machine Learning and Systems_ 3 (2021), 255–268.
  * Zhang et al. (2020a) Dell Zhang, Alexander Kuhnle, Julian Richardson, and Murat Sensoy. 2020a.  Process Discovery for Structured Program Synthesis.  _arXiv preprint arXiv:2008.05804_ (2020).
  * Zhang et al. (2020b) Tianyi Zhang, London Lowmanstone, Xinyu Wang, and Elena L Glassman. 2020b.  Interactive Program Synthesis by Augmented Examples. In _Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology_. 627–648.