Seth Poulsen

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 30

Top Topics

Theorem Proving

Natural Language Processing

Quantitative Analysis

Top Venues

Publications

Seth Poulsen, Sami Sarsa, James Prather, Juho Leinonen, Brett A. Becker, Arto Hellas, Paul Denny, Brent N. Reeves
Solving Proof Block Problems Using Large Language Models. SIGCSE (1) (2024)
Chenyan Zhao, Mariana Silva, Seth Poulsen
Autograding Mathematical Induction Proofs with Natural Language Processing. CoRR (2024)
Jaxton Winder, Erik Falor, Seth Poulsen, John Edwards
The Shell Tutor: An Intelligent Tutoring System For The UNIX Command Shell And Git. ITiCSE (1) (2024)
David H. Smith, Seth Poulsen, Chinedu Emeka, Zihan Wu, Carl Haynes-Magyar, Craig B. Zilles
Distractors Make You Pay Attention: Investigating the Learning Outcomes of Including Distractor Blocks in Parsons Problems. ICER (1) (2024)
Seth Poulsen, Yael Gertner, Hongxuan Chen, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. SIGCSE (1) (2024)
Jonathan Liu, Seth Poulsen, Erica Goodwin, Hongxuan Chen, Grace Williams, Yael Gertner, Diana Franklin
Teaching Algorithm Design: A Literature Review. CoRR (2024)
Jonathan Liu, Seth Poulsen, Hongxuan Chen, Grace Williams, Yael Gertner, Diana Franklin
Teaching Algorithm Design: A Literature Review. SIGCSE (2) (2024)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. SIGCSE (1) (2023)
Seth Poulsen, Hongxuan Chen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. CoRR (2023)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. AIED (2023)
David H. Smith IV, Seth Poulsen, Max Fowler, Craig B. Zilles
Comparing the Impacts of Visually Grouped and Jumbled Distractors on Parsons Problems in CS1 Assessments. CompEd (1) (2023)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Efficient Partial Credit Grading of Proof Blocks Problems. CoRR (2022)
Seth Poulsen, Geoffrey L. Herman, Peter A. H. Peterson, Enis Golaszewski, Akshita Gorti, Linda Oliva, Travis Scheponik, Alan T. Sherman
Psychometric Evaluation of the Cybersecurity Concept Inventory. ACM Trans. Comput. Educ. 22 (1) (2022)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Benchmarking Partial Credit Grading Algorithms for Proof Blocks Problems. AIED (2) (2022)
Max Fowler, David H. Smith IV, Mohammed Hassan, Seth Poulsen, Matthew West, Craig B. Zilles
Reevaluating the relationship between explaining, tracing, and writing skills in CS1 in a replication study. Comput. Sci. Educ. 32 (3) (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. ITiCSE (1) (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating proof blocks problems as exam questions. Inroads 13 (1) (2022)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. CoRR (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating Proof Blocks Problems as Exam Questions. ICER (2021)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. CoRR (2021)
Mei Chen, Seth Poulsen, Ridha Alkhabaz, Abdussalam Alawini
A Quantitative Analysis of Student Solutions to Graph Database Queries. SIGCSE (2021)
Ridha Alkhabaz, Seth Poulsen, Mei Chen, Abdussalam Alawini
Insights from Student Solutions to MongoDB Homework Problems. ITiCSE (2021)
Mei Chen, Seth Poulsen, Ridha Alkhabaz, Abdussalam Alawini
A Quantitative Analysis of Student Solutions to Graph Database Problems. ITiCSE (2021)
Alan T. Sherman, Geoffrey L. Herman, Linda Oliva, Peter A. H. Peterson, Enis Golaszewski, Seth Poulsen, Travis Scheponik, Akshita Gorti
Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity. NCS (2020)
Seth Poulsen, Carolyn J. Anderson, Matthew West
The Relationship Between Course Scheduling and Student Performance. CSEDM@EDM (2020)
Seth Poulsen
Using Spatio-Algorithmic Problem Solving Strategies to Increase Access to Data Structures. ITiCSE (2020)
Seth Poulsen, Liia Butler, Abdussalam Alawini, Geoffrey L. Herman
Insights from Student Solutions to SQL Homework Problems. ITiCSE (2020)
Alan T. Sherman, Geoffrey L. Herman, Linda Oliva, Peter A. H. Peterson, Enis Golaszewski, Seth Poulsen, Travis Scheponik, Akshita Gorti
Experiences and Lessons Learned Creating and Validating Concept Inventories for Cybersecurity. CoRR (2020)
Courtney Hoagland, Stephen P. Humphries, Nathan Nicholson, Seth Poulsen
Difference Sets Disjoint from a Subgroup. Graphs Comb. 35 (3) (2019)
Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer
Memory safety in C by abstract interpretation. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)