Model Checking Syllabi and Student Carreers
Abstract elided by the publisher.
Related papers
- Automatically testing console I/O behavior of student submissions in Haskell JFP 2025
- Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl) ICFP 2021
- Formal Autograding in a Classroom ESOP 2025
- Infusing an HtDP-based CS1 with distributed programming using functional video games JFP 2018
- Motivating complexity understanding by profiling energy usage Onward! 2021
- Proving and Disproving Equivalence of Functional Programming Assignments PLDI 2023
- Grammar-based testing for little languages: an experience report with student compilers SLE 2020
- Automated feedback generation for introductory programming assignments PLDI 2013