Memory safety in C by abstract interpretation. - Joseph Jones; James Wasson; Sean Brown; Seth Poulsen; Peter Aldous; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2018)

Difference Sets Disjoint from a Subgroup. - Courtney Hoagland; Stephen P. Humphries; Nathan Nicholson; Seth Poulsen (Graphs Comb., 2019)

The Relationship Between Course Scheduling and Student Performance. - Seth Poulsen; Carolyn J. Anderson; Matthew West 001 (CSEDM@EDM, 2020)

Using Spatio-Algorithmic Problem Solving Strategies to Increase Access to Data Structures. - Seth Poulsen (ITiCSE, 2020)

Insights from Student Solutions to SQL Homework Problems. - Seth Poulsen; Liia Butler; Abdussalam Alawini; Geoffrey L. Herman (ITiCSE, 2020)

Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity. - Alan T. Sherman; Geoffrey L. Herman; Linda Oliva; Peter A. H. Peterson; Enis Golaszewski; Seth Poulsen; Travis Scheponik; Akshita Gorti (NCS, 2020)

Insights from Student Solutions to MongoDB Homework Problems. - Ridha Alkhabaz; Seth Poulsen; Mei Chen; Abdussalam Alawini (ITiCSE (1), 2021)

A Quantitative Analysis of Student Solutions to Graph Database Problems. - Mei Chen; Seth Poulsen; Ridha Alkhabaz; Abdussalam Alawini (ITiCSE (1), 2021)

A Quantitative Analysis of Student Solutions to Graph Database Queries. - Mei Chen; Seth Poulsen; Ridha Alkhabaz; Abdussalam Alawini (SIGCSE, 2021)

Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (CoRR, 2021)

Building regional community for computing education graduate students. - Morgan M. Fong; Max Fowler; Seth Poulsen; Vidushi Ojha; Geoffrey L. Herman (J. Comput. Sci. Coll., 2021)

Benchmarking Partial Credit Grading Algorithms for Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (AIED (2), 2022)

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (ITiCSE (1), 2022)

Efficient Partial Credit Grading of Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (CoRR, 2022)

Reevaluating the relationship between explaining, tracing, and writing skills in CS1 in a replication study. - Max Fowler; David H. Smith IV; Mohammed Hassan; Seth Poulsen; Matthew West 001; Craig B. Zilles (Comput. Sci. Educ., 2022)

Evaluating proof blocks problems as exam questions. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (Inroads, 2022)

Psychometric Evaluation of the Cybersecurity Concept Inventory. - Seth Poulsen; Geoffrey L. Herman; Peter A. H. Peterson; Enis Golaszewski; Akshita Gorti; Linda Oliva; Travis Scheponik; Alan T. Sherman (ACM Trans. Comput. Educ., 2022)

Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (AIED, 2023)

Comparing the Impacts of Visually Grouped and Jumbled Distractors on Parsons Problems in CS1 Assessments. - David H. Smith IV; Seth Poulsen; Max Fowler; Craig B. Zilles (CompEd (1), 2023)

Efficiency of Learning from Proof Blocks Versus Writing Proofs. - Seth Poulsen; Yael Gertner; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2023)

Phone Use While Programming. - Kaden Hart; Christopher M. Warren; Seth Poulsen; John Edwards 002 (EDM, 2024)

Distractors Make You Pay Attention: Investigating the Learning Outcomes of Including Distractor Blocks in Parsons Problems. - David H. Smith; Seth Poulsen; Chinedu Emeka; Zihan Wu 002; Carl Haynes-Magyar; Craig B. Zilles (ICER (1), 2024)

The Shell Tutor: An Intelligent Tutoring System For The UNIX Command Shell And Git. - Jaxton Winder; Erik Falor; Seth Poulsen; John Edwards 002 (ITiCSE (1), 2024)

A Survey of Undergraduate Theory of Computing Curricula. - Ryan E. Dougherty; Tim Randolph 001; Tzu-Yi Chen; Jeff Erickson 001; Matthew Ferland; Dennis Komm; Jonathan Liu; Timothy Ng 001; Seth Poulsen; Smaranda Sandu; Michael Shindler; Edward Talmage; et al. (SIGCSE Virtual (2), 2024)

Teaching Algorithm Design: A Literature Review. - Jonathan Liu; Seth Poulsen; Hongxuan Chen; Grace Williams; Yael Gertner; Diana Franklin (SIGCSE (2), 2024)

Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. - Seth Poulsen; Yael Gertner; Hongxuan Chen; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2024)

Solving Proof Block Problems Using Large Language Models. - Seth Poulsen; Sami Sarsa; James Prather; Juho Leinonen 001; Brett A. Becker; Arto Hellas; Paul Denny 001; Brent N. Reeves (SIGCSE (1), 2024)

Autograding Mathematical Induction Proofs with Natural Language Processing. - Chenyan Zhao; Mariana Silva; Seth Poulsen (CoRR, 2024)

Mining Hierarchies with Conviction: Constructing the CS1 Skill Hierarchy with Pairwise Comparisons over Skill Distributions. - Dip Kiran Pradhan Newar; Max Fowler; David H. Smith IV; Seth Poulsen (CoRR, 2024)

Language Models are Few-Shot Graders. - Chenyan Zhao; Mariana Silva; Seth Poulsen (AIED (4), 2025)

Construction and Preliminary Validation of a Dynamic Programming Concept Inventory. - Matthew Ferland; Varun Nagaraj Rao; Arushi Arora; Drew van der Poel; Michael Luu; Randy Huynh; Frederick Reiber; Sandra Ossman; Seth Poulsen; Michael Shindler (SIGCSE (1), 2025)

Mining Hierarchies with Conviction: Constructing the CS1 Skill Hierarchy with Pairwise Comparisons over Skill Distributions. - Dip Kiran Pradhan Newar; Max Fowler; David H. Smith; Seth Poulsen (SIGCSE (2), 2025)

Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. - Seth Poulsen; Hongxuan Chen; Yael Gertner; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2025)

Teaching Algorithm Design: A Literature Review. - Jonathan Liu; Seth Poulsen; Erica Goodwin; Hongxuan Chen; Grace Williams; Yael Gertner; Diana Franklin (ACM Trans. Comput. Educ., 2025)