{"id":"https://openalex.org/W7133326100","doi":"https://doi.org/10.1145/3742413.3789137","title":"Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning","display_name":"Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning","publication_year":2026,"publication_date":"2026-03-03","ids":{"openalex":"https://openalex.org/W7133326100","doi":"https://doi.org/10.1145/3742413.3789137"},"language":null,"primary_location":{"id":"doi:10.1145/3742413.3789137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742413.3789137","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st International Conference on Intelligent User Interfaces","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3742413.3789137","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128020963","display_name":"Momin N. Siddiqui","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Momin N. Siddiqui","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, Georgia, USA"],"raw_orcid":"https://orcid.org/0000-0003-1874-7789","affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, Georgia, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128024965","display_name":"Vincent Cavez","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vincent Cavez","raw_affiliation_strings":["Stanford University, Stanford, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-6662-7362","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, California, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037488266","display_name":"Sahana Rangasrinivasan","orcid":"https://orcid.org/0000-0003-1210-0124"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sahana Rangasrinivasan","raw_affiliation_strings":["University of Buffalo, Buffalo, New York, USA"],"raw_orcid":"https://orcid.org/0000-0003-1210-0124","affiliations":[{"raw_affiliation_string":"University of Buffalo, Buffalo, New York, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021505064","display_name":"Abbie Olszewski","orcid":"https://orcid.org/0000-0001-6220-9676"},"institutions":[{"id":"https://openalex.org/I134113660","display_name":"University of Nevada, Reno","ror":"https://ror.org/01keh0577","country_code":"US","type":"education","lineage":["https://openalex.org/I134113660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abbie Olszewski","raw_affiliation_strings":["University of Nevada, Reno, Nevada, USA"],"raw_orcid":"https://orcid.org/0000-0001-6220-9676","affiliations":[{"raw_affiliation_string":"University of Nevada, Reno, Nevada, USA","institution_ids":["https://openalex.org/I134113660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119493223","display_name":"Srirangaraj Setlur","orcid":null},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Srirangaraj Setlur","raw_affiliation_strings":["University of Buffalo, Buffalo, New York, USA"],"raw_orcid":"https://orcid.org/0000-0002-7118-9280","affiliations":[{"raw_affiliation_string":"University of Buffalo, Buffalo, New York, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045835385","display_name":"Maneesh Agrawala","orcid":"https://orcid.org/0000-0002-8996-7327"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Maneesh Agrawala","raw_affiliation_strings":["Stanford University, Stanford, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-8996-7327","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, California, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":null,"display_name":"Hari Subramonyam","orcid":"https://orcid.org/0000-0002-3450-0447"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hari Subramonyam","raw_affiliation_strings":["Stanford University, Stanford, California, USA"],"raw_orcid":"https://orcid.org/0000-0002-3450-0447","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, California, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16205269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1322","last_page":"1339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11526","display_name":"Innovative Teaching Methods","score":0.0997999981045723,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11526","display_name":"Innovative Teaching Methods","score":0.0997999981045723,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12884","display_name":"Educational Assessment and Pedagogy","score":0.09709999710321426,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10959","display_name":"Student Assessment and Feedback","score":0.04749999940395355,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/spelling","display_name":"Spelling","score":0.8912000060081482},{"id":"https://openalex.org/keywords/spell","display_name":"Spell","score":0.8543999791145325},{"id":"https://openalex.org/keywords/memorization","display_name":"Memorization","score":0.5396999716758728},{"id":"https://openalex.org/keywords/operationalization","display_name":"Operationalization","score":0.5066999793052673},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4683000147342682},{"id":"https://openalex.org/keywords/literacy","display_name":"Literacy","score":0.4343000054359436},{"id":"https://openalex.org/keywords/tutor","display_name":"TUTOR","score":0.3725000023841858},{"id":"https://openalex.org/keywords/interactive-whiteboard","display_name":"Interactive whiteboard","score":0.37220001220703125}],"concepts":[{"id":"https://openalex.org/C2777801307","wikidata":"https://www.wikidata.org/wiki/Q2088390","display_name":"Spelling","level":2,"score":0.8912000060081482},{"id":"https://openalex.org/C2780957641","wikidata":"https://www.wikidata.org/wiki/Q1999796","display_name":"Spell","level":2,"score":0.8543999791145325},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6434000134468079},{"id":"https://openalex.org/C30038468","wikidata":"https://www.wikidata.org/wiki/Q4354775","display_name":"Memorization","level":2,"score":0.5396999716758728},{"id":"https://openalex.org/C9354725","wikidata":"https://www.wikidata.org/wiki/Q286017","display_name":"Operationalization","level":2,"score":0.5066999793052673},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4683000147342682},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.44620001316070557},{"id":"https://openalex.org/C547764534","wikidata":"https://www.wikidata.org/wiki/Q8236","display_name":"Literacy","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.3950999975204468},{"id":"https://openalex.org/C2778371403","wikidata":"https://www.wikidata.org/wiki/Q7672049","display_name":"TUTOR","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C2780218261","wikidata":"https://www.wikidata.org/wiki/Q723563","display_name":"Interactive whiteboard","level":2,"score":0.37220001220703125},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3562000095844269},{"id":"https://openalex.org/C2777603413","wikidata":"https://www.wikidata.org/wiki/Q1364762","display_name":"Phonics","level":3,"score":0.35179999470710754},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C74672266","wikidata":"https://www.wikidata.org/wiki/Q815859","display_name":"Language acquisition","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C2779541593","wikidata":"https://www.wikidata.org/wiki/Q7301200","display_name":"Realia","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C2780844864","wikidata":"https://www.wikidata.org/wiki/Q184377","display_name":"Pronunciation","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C88610354","wikidata":"https://www.wikidata.org/wiki/Q1813494","display_name":"Teaching method","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27469998598098755},{"id":"https://openalex.org/C2780790391","wikidata":"https://www.wikidata.org/wiki/Q1149626","display_name":"Written language","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C165297611","wikidata":"https://www.wikidata.org/wiki/Q43249","display_name":"Morpheme","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C2776716048","wikidata":"https://www.wikidata.org/wiki/Q6045290","display_name":"Interactive Learning","level":2,"score":0.25279998779296875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3742413.3789137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742413.3789137","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st International Conference on Intelligent User Interfaces","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3742413.3789137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3742413.3789137","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st International Conference on Intelligent User Interfaces","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6954221725463867}],"awards":[{"id":"https://openalex.org/G5642188625","display_name":"AI Institute for Transforming Education for Children with Speech and Language Processing Challenges","funder_award_id":"2229873","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W71680759","https://openalex.org/W1531427220","https://openalex.org/W1642443568","https://openalex.org/W1838553099","https://openalex.org/W1974888704","https://openalex.org/W1996711433","https://openalex.org/W1998834343","https://openalex.org/W2000911115","https://openalex.org/W2010595692","https://openalex.org/W2012997483","https://openalex.org/W2016030524","https://openalex.org/W2030831236","https://openalex.org/W2047882707","https://openalex.org/W2057858168","https://openalex.org/W2058585133","https://openalex.org/W2069201094","https://openalex.org/W2074797086","https://openalex.org/W2082165867","https://openalex.org/W2091552421","https://openalex.org/W2096587741","https://openalex.org/W2116461320","https://openalex.org/W2117815678","https://openalex.org/W2133911594","https://openalex.org/W2150052952","https://openalex.org/W2157175867","https://openalex.org/W2158875680","https://openalex.org/W2267754083","https://openalex.org/W2290174562","https://openalex.org/W2292486031","https://openalex.org/W2523567633","https://openalex.org/W2591729560","https://openalex.org/W2593849146","https://openalex.org/W2784989819","https://openalex.org/W2888011979","https://openalex.org/W2941031895","https://openalex.org/W2942511022","https://openalex.org/W2948041807","https://openalex.org/W2979900399","https://openalex.org/W2984478883","https://openalex.org/W3001483148","https://openalex.org/W3004253726","https://openalex.org/W3005826596","https://openalex.org/W3094252362","https://openalex.org/W3114327864","https://openalex.org/W3155464642","https://openalex.org/W3158257656","https://openalex.org/W3161556327","https://openalex.org/W4284880452","https://openalex.org/W4385714484","https://openalex.org/W4392241950","https://openalex.org/W4396832847","https://openalex.org/W4396833105","https://openalex.org/W4396833177","https://openalex.org/W4400643534","https://openalex.org/W4400668035","https://openalex.org/W4407735882","https://openalex.org/W4407762655","https://openalex.org/W4408614177","https://openalex.org/W4408615414","https://openalex.org/W4409720427","https://openalex.org/W4409720652","https://openalex.org/W4409746607","https://openalex.org/W4409749466","https://openalex.org/W4409884014","https://openalex.org/W4414688231"],"related_works":[],"abstract_inverted_index":{"Spelling":[0],"taught":[1],"through":[2],"memorization":[3],"often":[4],"fails":[5],"many":[6],"learners,":[7],"particularly":[8],"children":[9],"with":[10,16,156,162],"language-based":[11],"learning":[12],"disorders":[13],"who":[14],"struggle":[15],"the":[17,45,84,98],"phonological":[18],"skills":[19],"necessary":[20],"to":[21,40,137],"spell":[22,75],"words":[23],"accurately.":[24],"Educators":[25],"such":[26],"as":[27,125],"speech-language":[28],"pathologists":[29],"(SLPs)":[30],"address":[31],"this":[32,80],"instructional":[33,108],"gap":[34],"by":[35],"using":[36],"an":[37],"inquiry-based":[38,81,129],"approach":[39,95],"teach":[41],"spelling":[42,103,133],"that":[43,78],"targets":[44],"phonology,":[46],"morphology,":[47],"meaning,":[48],"and":[49,65,122,147,158,165],"etymology":[50],"of":[51,86,102],"words.":[52],"Yet,":[53],"these":[54],"strategies":[55],"rarely":[56],"appear":[57],"in":[58,110,117],"everyday":[59],"writing":[60,170],"tools,":[61],"which":[62],"simply":[63],"detect":[64],"autocorrect":[66],"errors.":[67],"We":[68],"introduce":[69],"SPIRE":[70,88,105],"(Spelling":[71],"Inquiry":[72],"Engine),":[73],"a":[74,93,111],"check":[76],"system":[77],"brings":[79],"pedagogy":[82,101],"into":[83,169],"act":[85],"composition.":[87],"implements":[89],"Pedagogical":[90],"Program":[91],"Synthesis,":[92],"novel":[94],"for":[96,128,167],"operationalizing":[97],"inherently":[99],"dynamic":[100],"instruction.":[104],"represents":[106],"SLP":[107],"moves":[109],"domain-specific":[112],"language,":[113],"synthesizes":[114],"tailored":[115],"programs":[116],"real-time":[118],"from":[119],"learner":[120],"errors,":[121],"renders":[123],"them":[124],"interactive":[126],"interfaces":[127],"interventions.":[130],"With":[131],"SPIRE,":[132],"errors":[134],"become":[135],"opportunities":[136],"explore":[138],"word":[139,141,145],"meanings,":[140],"structures,":[142],"morphological":[143],"families,":[144],"origins,":[146],"grapheme-phoneme":[148],"correspondences,":[149],"supporting":[150],"metalinguistic":[151],"reasoning":[152],"alongside":[153],"correction.":[154],"Evaluation":[155],"SLPs":[157],"learners":[159],"shows":[160],"alignment":[161],"professional":[163],"practice":[164],"potential":[166],"integration":[168],"workflows.":[171]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-03-04T00:00:00"}