Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning

A child in a red shirt leans forward over a laptop keyboard with focused attention on the screen, engaged in computer-based learning or work in what appears to be an indoor educational setting.
Image Credit: Photo by finelightarts on Pixabay (SourceLicense)

AI Summary of Scholarly Research

This page presents an AI-generated summary of a published research paper. The original authors did not write or review this article. See full disclosure ↓

Publication Signals show what we were able to verify about where this research was published.STANDARDAvailable publication signals for this source were verified. Publication Signals reflect the source’s verifiable credentials, not the quality of the research.

Fewer signals were independently confirmable for this source. That reflects the limits of what’s on record — not a judgment about the research.

  • ✔ Published in indexed journal
  • ✔ No retraction or integrity flags

Overview

SPIRE (Spelling Inquiry Engine) operationalizes inquiry-based pedagogy for spelling instruction through automated program synthesis. The system transforms traditional spell-checking into an interactive learning tool that addresses phonological, morphological, semantic, and etymological dimensions of spelling, targeting learners with language-based learning disorders who require structured metalinguistic reasoning rather than simple error correction.

Methods and approach

The system implements Pedagogical Program Synthesis, a novel computational framework that encodes speech-language pathology instructional moves in a domain-specific language. Upon detection of spelling errors, SPIRE synthesizes tailored intervention programs in real-time and renders them as interactive interfaces. The approach grounds implementation in established speech-language pathology practices while automating program generation and delivery within writing environments.

Key Findings

Evaluation conducted with speech-language pathologists and learners demonstrated alignment between SPIRE's generated interventions and professional instructional practice. The system successfully generated interactive inquiry-based learning sequences from spelling errors, supporting exploration of word families, morphological structure, grapheme-phoneme correspondences, and etymological relationships. Results indicate feasibility for integration into standard writing workflows.

Implications

SPIRE establishes a precedent for operationalizing dynamic pedagogical practices through automated synthesis, extending beyond spell-checking to support metalinguistic development in learners with language-based learning disorders. The framework demonstrates that composition tools can incorporate evidence-based instructional approaches without requiring explicit rule specification by end-users. This approach may inform the design of other educational technologies that embed specialized pedagogical expertise into writing and learning environments.

Disclosure

  • Research title: Teaching Spell Checkers to Teach: Pedagogical Program Synthesis for Interactive Learning
  • Authors: Momin N. Siddiqui, Vincent Cavez, Sahana Rangasrinivasan, Abbie Olszewski, Srirangaraj Setlur, Maneesh Agrawala, Sookyung Kim
  • Institutions: Georgia Institute of Technology, Stanford University, University at Buffalo, State University of New York, University of Nevada, Reno
  • Publication date: 2026-03-03
  • DOI: https://doi.org/10.1145/3742413.3789137
  • OpenAlex record: View
  • Image credit: Photo by finelightarts on Pixabay (SourceLicense)
  • Disclosure: This post was generated by Claude (Anthropic). The original authors did not write or review this post.

Get the weekly research newsletter

Stay current with peer-reviewed research without reading academic papers — one filtered digest, every Friday.

More posts