Molly Q. Feldman, Yiting Wang, William E. Byrd, François Guimbretière, Erik Andersen 0001. Towards answering "Am I on the right track?" automatically using program synthesis. In Elisa L. A. Baniassad, editor, SPLASH-E '19 - Proceedings of the 2019 ACM SIGPLAN Workshop on SPLASH-E, Athens, Greece, October 25, 2019. pages 13-24, ACM, 2019. [doi]
Abstract is missing.