Chenming Ge

Chenming Ge

he/him

HCI · Generative UI · Computer-use Agents

A11yLTLNav: Automatic Detection of Accessibility Navigation Failures

Figure 2 from the A11yLTLNav paper: pressing Enter on Add to List opens a dialog, but keyboard focus stays on the trigger instead of entering the dialog.
A focus-management failure: opening a dialog leaves focus on the trigger. Detail from Figure 2 of the arXiv paper.

Accessibility · Human–Computer Interaction

University of Utah · May – Sep 2026
Advisors: Dr. Yue Jiang and Dr. Ben Greenman

I developed A11yLTLNav, a property-based checker for accessibility navigation failures encountered by blind and low-vision users interacting with generated interfaces.

My contributions

  • Formalized common accessibility failures from prior user studies as Linear Temporal Logic (LTL) properties and tested them on randomly generated website interaction traces.
  • Built a comparison web agent that detected accessibility failures through screen-reader feedback and keyboard-only interaction.
  • Evaluated the checker on 31 generated websites; human reviewers confirmed 274 of 309 reports (88.7% precision).

arXiv · Project Page

← Research · More Projects →