Cited By
View all- Lawson AKraemer E(2024)Example Output: A Sequentialist Rabbit Hole for Students Solving Concurrent ProblemsProceedings of the 24th Koli Calling International Conference on Computing Education Research10.1145/3699538.3699565(1-11)Online publication date: 12-Nov-2024
- Strömbäck FMannila LKamkar M(2023)Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in ProgvisProceedings of the 25th Australasian Computing Education Conference10.1145/3576123.3576125(11-20)Online publication date: 30-Jan-2023
- Strömbäck FMannila LKamkar M(2022)A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student LearningProceedings of the 22nd Koli Calling International Conference on Computing Education Research10.1145/3564721.3565947(1-12)Online publication date: 17-Nov-2022
- Show More Cited By