1. Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness;Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1;2024-07-03
2. Karp: a language for NP reductions;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. AlgoBOWL;Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education;2019-07-02
4. Iteratively Intervening with the “Most Difficult” Topics of an Algorithms and Complexity Course;ACM Transactions on Computing Education;2017-03-31