Toward Formal Verification of a Map Copy Method. - Sarah Blankenship (SIGCSE, 2021)

Network Visualization and Assessment of Student Reasoning About Conditionals. - Nathan Hurtig; Joseph E. Hollingsworth; Sarah Blankenship; Eileen T. Kraemer; Murali Sitaraman; Jason O. Hallstrom (ITiCSE (1), 2022)