FlowCheck: Helping End-Users Specify and Verify Intent in Vibe-Coded Web Apps
Source
Reya Vir, Lydia Chilton, Zhuo Zhang, Eugene Wu
Author
Reya Vir, Lydia Chilton, Zhuo Zhang, Eugene Wu
Date
Terms in this piece · Glossary
LLM — A large language model — the neural network behind tools like Claude and ChatGPT, trained on huge amounts of text to predict what comes next.
Why it matters
Generated apps fail silently: the UI renders but data never reaches the state it should. FlowCheck lets you state those flows in interface terms, compiles them to CodeQL, and caught 30 of 30 injected violations with no false positives where frontier models missed some.
articleVibe Coding: Practice, Performance, Productivity, and Risk -A State-of-the-Art ReviewDominik L. Michels, Mutaz Abu Ghazaleh, Francois Lazzari, Nabil Kassem, Jonathan Klein
articleGraphAlignCoder: Aligning Program and Proof Graphs for Code GenerationYueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
articleNeuro-Formal Verification: Agentic Language-Agnostic Formal Program ReasoningShuvendu K. Lahiri