Zack Butler, Ivona Bezáková, Kimberly Fluet. Puzzles in Many Places: Closing the Loop on Propagation. In Mark Sherriff, Laurence D. Merkle, Pamela A. Cutter, Alvaro E. Monge, Judithe Sheard, editors, SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, Virtual Event, USA, March 13-20, 2021. pages 1278, ACM, 2021. [doi]
Abstract is missing.