{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:06:01Z","timestamp":1771045561124,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,5]]},"DOI":"10.1145\/3708550.3730559","type":"proceedings-article","created":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T17:01:36Z","timestamp":1755709296000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Survey of Undergraduate Theory of Computation Curricula in the United States"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1739-1127","authenticated-orcid":false,"given":"Ryan E.","family":"Dougherty","sequence":"first","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4287-0680","authenticated-orcid":false,"given":"Tim","family":"Randolph","sequence":"additional","affiliation":[{"name":"Harvey Mudd College, Claremont, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3077-6099","authenticated-orcid":false,"given":"Tzu-Yi","family":"Chen","sequence":"additional","affiliation":[{"name":"Pomona College, Claremont, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5253-2282","authenticated-orcid":false,"given":"Jeff","family":"Erickson","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5289-7567","authenticated-orcid":false,"given":"Matthew","family":"Ferland","sequence":"additional","affiliation":[{"name":"Dickinson College, Carlisle, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9024-1558","authenticated-orcid":false,"given":"Dennis","family":"Komm","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich, Z\u00fcrich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8602-2002","authenticated-orcid":false,"given":"Jonathan","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9980-6976","authenticated-orcid":false,"given":"Timothy","family":"Ng","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7451-1810","authenticated-orcid":false,"given":"Ana Smaranda","family":"Sandu","sequence":"additional","affiliation":[{"name":"Wellesley College, Wellesley, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3365-1729","authenticated-orcid":false,"given":"Michael","family":"Shindler","sequence":"additional","affiliation":[{"name":"UC Irvine, Irvine, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9108-6190","authenticated-orcid":false,"given":"Edward","family":"Talmage","sequence":"additional","affiliation":[{"name":"Bucknell University, Lewisburg, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5186-7507","authenticated-orcid":false,"given":"Thomas","family":"Zeume","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,8,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Automated Grading of DFA Constructions. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, and Mahesh Viswanathan. 2013. Automated Grading of DFA Constructions. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013, Francesca Rossi (Ed.). IJCAI\/AAAI, 1976--1982. http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6759"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641555.3705268"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649409.3691079"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/507758.377680"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3478431.3499309"},{"key":"e_1_3_2_1_6_1","volume-title":"Weide","author":"Cassel Lillian","year":"2008","unstructured":"Lillian Cassel, Alan Clements, Gordon Davies, Mark Guzdial, Ren\u00e9e McCauley, Andrew McGettrick, Bob Sloan, Larry Snyder, Paul Tymann, and Bruce W. Weide. 2008. Computer Science Curriculum 2008: An Interim Revision of CS 2001. Technical Report. New York, NY, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"Introduction to algorithms","author":"Cormen Thomas H","unstructured":"Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, and Clifford Stein. 2022. Introduction to algorithms. MIT press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432475"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545945.3569742"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626253.3635481"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626253.3635479"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630849"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641555.3705243"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151588.1151596"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.18260\/1-2--42347"},{"key":"e_1_3_2_1_16_1","volume-title":"Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science","author":"Association for Computing Machinery (ACM) Joint Task Force on Computing Curricula and IEEE Computer Society. 2013.","unstructured":"Association for Computing Machinery (ACM) Joint Task Force on Computing Curricula and IEEE Computer Society. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_17_1","volume-title":"Algorithm Design","author":"Kleinberg Jon","unstructured":"Jon Kleinberg and Eva Tardos. 2005. Algorithm Design. Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/142040.142075"},{"key":"e_1_3_2_1_19_1","volume-title":"Computer Science Curricula","author":"Kumar Amruth N.","year":"2023","unstructured":"Amruth N. Kumar, Rajendra K. Raj, Sherif G. Aly, Monica D. Anderson, Brett A. Becker, Richard L. Blumenthal, Eric Eaton, Susan L. Epstein, Michael Goldweber, Pankaj Jalote, Douglas Lea, Michael Oudshoorn, Marcelo Pias, Susan Reiser, Christian Servin, Rahul Simha, Titus Winters, and Qiao Xiang. 2024. Computer Science Curricula 2023. Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. 284--290","author":"Luu Michael","year":"2023","unstructured":"Michael Luu, Matthew Ferland, Varun Nagaraj Rao, Arushi Arora, Randy Huynh, Frederick Reiber, Jennifer Wong-Ma, and Michael Shindler. 2023. What is an Algorithms Course? Survey Results of Introductory Undergraduate Algorithms Courses in the US. In Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. 284--290."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432398"},{"key":"e_1_3_2_1_22_1","volume-title":"Implement, Validate, and Prove","author":"Moraz\u00e1n Marco T","unstructured":"Marco T Moraz\u00e1n. 2023. Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove. Springer Nature."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1709424.1709444"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630904"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649217.3653599"},{"key":"e_1_3_2_1_26_1","volume-title":"Bulletin of EATCS","volume":"142","author":"Schmellenkamp Marko","year":"2024","unstructured":"Marko Schmellenkamp, Fabian Vehlken, and Thomas Zeume. 2024. Teaching Formal Foundations of Computer Science with Iltis. Bulletin of EATCS, Vol. 142, 1 (2024)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1227310.1227463"},{"key":"e_1_3_2_1_28_1","unstructured":"Michael Sipser. 2013. Introduction to the Theory of Computation (3 ed.). Course Technology."}],"event":{"name":"SIGCSE Virtual 2024:SIGCSE Virtual 2024","location":"Virtual Event USA","sponsor":["sigcse ACM Special Interest Group on Computer Science Education"]},"container-title":["2024 Working Group Reports on 1st ACM Virtual Global Computing Education Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708550.3730559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,20]],"date-time":"2025-08-20T17:01:38Z","timestamp":1755709298000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708550.3730559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,5]]},"references-count":28,"alternative-id":["10.1145\/3708550.3730559","10.1145\/3708550"],"URL":"https:\/\/doi.org\/10.1145\/3708550.3730559","relation":{},"subject":[],"published":{"date-parts":[[2024,12,5]]},"assertion":[{"value":"2025-08-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}