3 papers
cs.LG2026
Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery
Yuan Si, Jialu Zhang
Programming-by-example systems infer programs from a small set of input-output examples. Robust PBE work usually models wrong examples as samples from a stochastic noise process an…
cs.SE2026
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…
cs.PL2026
Certificate-Carrying Transformation of Event-Driven Block Programs
Yuan Si, Jialu Zhang
Block-based end-user languages such as Scratch run tens of millions of programs. Existing tools establish behavior preservation through program analysis and testing without a check…