Search papers, labs, and topics across Lattice.
Corresponding author: Jialu Zhang
4
0
2
A novel certificate-carrying method guarantees behavior preservation in Scratch programs, achieving a 94.3% acceptance rate with zero false positives in adversarial scenarios.
Over 21% of student projects in Scratch exhibit schedule-sensitive behaviors that can drastically alter program outcomes based on execution order.
A novel validation oracle ensures that program recovery from execution videos is both sound and trustworthy, rejecting all incorrect outputs even in adversarial conditions.
SPECTRA reveals that Scratch programs can be behaviorally equivalent despite significant syntactic differences, challenging traditional notions of program comparison.
