{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T16:12:26Z","timestamp":1770999146717,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","funder":[{"name":"National Science Foundation","award":["2302778"],"award-info":[{"award-number":["2302778"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,18]]},"DOI":"10.1145\/3770762.3772657","type":"proceedings-article","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:15:58Z","timestamp":1770995758000},"page":"715-721","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel X: Redesigning of a Parallel Programming Educational Game with Semantic Foundations and Transfer Learning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8212-9956","authenticated-orcid":false,"given":"Devon","family":"McKee","sequence":"first","affiliation":[{"name":"University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0681-3160","authenticated-orcid":false,"given":"Zhiyu","family":"Lin","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3485-9756","authenticated-orcid":false,"given":"Boyd","family":"Fox","sequence":"additional","affiliation":[{"name":"Independent, Williamsburg, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6897-8537","authenticated-orcid":false,"given":"Jiahong","family":"Li","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6740-4550","authenticated-orcid":false,"given":"Jichen","family":"Zhu","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7808-1686","authenticated-orcid":false,"given":"Magy","family":"Seif El-Nasr","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz, Santa Cruz, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1646-7935","authenticated-orcid":false,"given":"Tyler","family":"Sorensen","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839676.1839697"},{"key":"e_1_3_2_1_2_1","unstructured":"Melissa Cameron. 2023. Parallel Islands: A diversity aware tool for parallel computing education. Ph.D. Dissertation. Virginia Tech."},{"key":"e_1_3_2_1_3_1","unstructured":"Tomorrow Corporation. 2018. 7 Billion Humans. Tomorrow Corporation. https:\/\/tomorrowcorporation.com\/7billionhumans"},{"key":"e_1_3_2_1_4_1","unstructured":"cppreference. 2025a. std::counting_semaphore std::binary_semaphore. https:\/\/en.cppreference.com\/w\/cpp\/thread\/counting_semaphore.html"},{"key":"e_1_3_2_1_5_1","unstructured":"cppreference. 2025b. std::thread. https:\/\/en.cppreference.com\/w\/cpp\/thread\/thread.html"},{"key":"e_1_3_2_1_6_1","volume-title":"Joseba Saenz-de Navarrete, and Carmen Pag\u00e9s","author":"De-Marcos Luis","year":"2014","unstructured":"Luis De-Marcos, Adri\u00e1n Dom\u00ednguez, Joseba Saenz-de Navarrete, and Carmen Pag\u00e9s. 2014. An empirical study comparing gamification and social networking on e-learning. Computers & education, Vol. 75 (2014), 82-91."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02774-1_60"},{"key":"e_1_3_2_1_8_1","volume-title":"Game user experience evaluation","author":"Desurvire Heather","unstructured":"Heather Desurvire and Charlotte Wiberg. 2015. User experience design for inexperienced gamers: GAP\u2014Game Approachability Principles. In Game user experience evaluation. Springer, 169-186."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TE.2009.2025266"},{"key":"e_1_3_2_1_10_1","unstructured":"Google. 2025. Semaphore package - Go Packages. https:\/\/pkg.go.dev\/golang.org\/x\/sync\/semaphore"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462476.2466518"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1050231.1050275"},{"key":"e_1_3_2_1_13_1","volume-title":"The Art of Multiprocessor Programming","author":"Herlihy Maurice","unstructured":"Maurice Herlihy and Nir Shavit. 2012. The Art of Multiprocessor Programming (first ed.). Morgan Kaufmann."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2979894"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10639-021-10596-y"},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Introduction to TLA","volume":"1994","author":"Lamport Leslie","year":"1994","unstructured":"Leslie Lamport. 1994. Introduction to TLA. SRC Technical Note, Vol. 1994, 001 (1994), 1-7.","journal-title":"SRC Technical Note"},{"key":"e_1_3_2_1_17_1","unstructured":"Leslie Lamport. 2021. A high-level view of TLA. https:\/\/lamport.azurewebsites.net\/tla\/high-level-view.html"},{"key":"e_1_3_2_1_18_1","unstructured":"Leslie Lamport. 2022. TLA Tools. https:\/\/lamport.azurewebsites.net\/tla\/tools.html"},{"key":"e_1_3_2_1_19_1","unstructured":"Leslie Lamport. 2024. PlusCal Tutorial. https:\/\/lamport.azurewebsites.net\/tla\/tutorial\/intro.html"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/10447319509526110"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.28945\/216"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094131.2094139"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoG57401.2023.10333224"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoG57401.2023.10333145"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEM.2015.2413494"},{"key":"e_1_3_2_1_26_1","unstructured":"Microsoft. 2025. Overview of the Visual Studio debugger. https:\/\/learn.microsoft.com\/en-us\/visualstudio\/debugger\/debugger-feature-tour?view=vs-2022"},{"key":"e_1_3_2_1_27_1","volume-title":"Piramanayagam Arumuga Nainar, and Iulian Neamtiu","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, and Iulian Neamtiu. 2008. Finding and reproducing Heisenbugs in concurrent programs (OSDI'08)."},{"key":"e_1_3_2_1_28_1","volume-title":"Why Amazon Chose TLA\u00feinspace\u00feinspace","author":"Newcombe Chris","unstructured":"Chris Newcombe. 2014. Why Amazon Chose TLA\u00feinspace\u00feinspace. In Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Ait Ameur and Klaus-Dieter Schewe (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 25-39."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Jakob Nielsen. 1994. Usability engineering. Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-052029-2.50009-7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3027063.3053253"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.43"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592779"},{"key":"e_1_3_2_1_33_1","volume-title":"Class: Concurrent::Semaphore. https:\/\/ruby-concurrency.github.io\/concurrent-ruby\/1.1.5\/Concurrent\/Semaphore.html","year":"2025","unstructured":"ruby concurrency. 2025. Class: Concurrent::Semaphore. https:\/\/ruby-concurrency.github.io\/concurrent-ruby\/1.1.5\/Concurrent\/Semaphore.html"},{"key":"e_1_3_2_1_34_1","volume-title":"Formal Methods - Fun for Everybody","author":"Schlingloff Bernd-Holger","unstructured":"Bernd-Holger Schlingloff. 2021. Teaching Model Checking via Games and\u00a0Puzzles. In Formal Methods - Fun for Everybody. Springer."},{"key":"e_1_3_2_1_35_1","volume-title":"Designing Serious Games","author":"El-Nasr Magy Seif","unstructured":"Magy Seif El-Nasr, Elin Carstensdottir, and Michael John. 2026. Designing Serious Games. MIT Press."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"N.V. Shilov and K. Yi. 2001. Puzzles for Learning Model Checking Model Checking for Programming Puzzles Puzzles for Testing Model Checkers. Electronic Notes in Theoretical Computer Science (2001). doi:10.1016\/S1571-0661(04)80893-4","DOI":"10.1016\/S1571-0661(04)80893-4"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/FIE49875.2021.9637261"},{"key":"e_1_3_2_1_38_1","volume-title":"Free Software Foundation","volume":"675","author":"Stallman Richard","year":"1988","unstructured":"Richard Stallman, Roland Pesch, Stan Shebs, et al., 1988. Debugging with GDB. Free Software Foundation, Vol. 675 (1988)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3564721.3565947"},{"key":"e_1_3_2_1_40_1","unstructured":"Tokio. 2025. Semaphore in tokio::sync. https:\/\/docs.rs\/tokio\/latest\/tokio\/sync\/struct.Semaphore.html"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3690652"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.caeai.2022.100096"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3337722.3337749"},{"key":"e_1_3_2_1_44_1","unstructured":"Jichen Zhu Katelyn Alderfer Brian Smith Bruce Char and Santiago Onta\u00f1\u00f3n. 2020. Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach. arXiv:2005.04789 [cs.HC] https:\/\/arxiv.org\/abs\/2005.04789"},{"key":"e_1_3_2_1_45_1","unstructured":"Jichen Zhu and Magy Seif El-Nasr. 2021. Open Player Modeling: Empowering Players through Data Transparency. arXiv:2110.05810 [cs.HC] https:\/\/arxiv.org\/abs\/2110.05810"},{"key":"e_1_3_2_1_46_1","unstructured":"Ilya Zverev. 2020. How to Catch a Cat with TLA. https:\/\/medium.com\/wavesprotocol\/how-to-catch-a-cat-with-tla-b56fc2c75f59 Accessed: 2025-07-02."}],"event":{"name":"SIGCSE TS 2026:The 57th ACM Technical Symposium on Computer Science Education","location":"St. Louis MO USA","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1"],"original-title":[],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:23:44Z","timestamp":1770996224000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3770762.3772657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,17]]},"references-count":46,"alternative-id":["10.1145\/3770762.3772657","10.1145\/3770762"],"URL":"https:\/\/doi.org\/10.1145\/3770762.3772657","relation":{},"subject":[],"published":{"date-parts":[[2026,2,17]]},"assertion":[{"value":"2026-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}