9 papers · 1 filter
Checked Program Recovery from Execution Video: A Sound Oracle for Untrusted Generators
Yuan Si, Jialu Zhang
A growing class of tools recovers a program from observations of its behavior using an untrusted generator, a neural model or a search, that proposes candidates with no correctness…
SchedCheck: Schedule-Robustness Analysis for Event-Driven Block Programs
Yuan Si, Jialu Zhang
Block-based languages such as Scratch let beginners assemble interactive programs from sprites and scripts. These programs are concurrent in practice: green-flag scripts, broadcast…
ScratchWorld: Evaluating If World Models Compute Executable Consequences
Yufeng Lin, Jialu Zhang
World-model evaluations often score a predicted future by overlap with a target state or observation. In sparse-change worlds, this can turn copied persistent state into apparent a…
Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation
Donglin Li, Daming Li, Hanyuan Shi +1
Block-based programming environments such as Scratch are widely used in introductory computing education, yet scalable and reliable automated assessment remains elusive. Scratch pr…
ScratchEval : A Multimodal Evaluation Framework for LLMs in Block-Based Programming
Yuan Si, Simeng Han, Daming Li +2
LLMs have achieved strong performance on text-based programming tasks, yet they remain unreliable for block-based languages such as Scratch. Scratch programs exhibit deeply nested,…
Stitch: Step-by-step LLM Guided Tutoring for Scratch
Yuan Si, Kyle Qi, Daming Li +2
Block-based environments such as Scratch are increasingly popular in programming education. While block syntax reduces surface errors, semantic bugs remain common and challenging f…
A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang +5
Online programming platforms such as Codeforces and LeetCode attract millions of users seeking to learn to program or refine their skills for industry interviews. A major challenge…
ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
Yuan Si, Daming Li, Hanyuan Shi +1
Block-based programming environments such as Scratch are increasingly popular in programming education, in particular for young learners. While the use of blocks helps prevent synt…
SandCell: Sandboxing Rust Beyond Unsafe Code
Jialun Zhang, Merve Gulmez, Thomas Nyman +1
Rust is a modern systems programming language that ensures memory safety by enforcing ownership and borrowing rules at compile time. While the unsafe keyword allows programmers to…