Sarah Blankenship

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Visualization Tool

Formal Verification

Network Architecture

Peer Assessment

Top Venues

Publications

Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom
Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) (2022)
Sarah Blankenship
Toward Formal Verification of a Map Copy Method. SIGCSE (2021)