19 papers
The Ingestion Tax: Adopting File-Backed Weights in Tensor Frameworks
Yuan Si, Yufeng Lin, Daming Li +1
Open-weight models can occupy a middle capacity regime: active weights fit in DRAM as cached file pages, but a second framework-owned copy does not fit or must be refilled as layer…
Who Should Own the Expert Cache? Kernel-Managed Tiering for Trillion-Parameter MoE Inference
Yuan Si, Yufeng Lin, Daming Li +1
Mixture-of-experts models whose expert pools exceed DRAM capacity require a weight-residency tier. Existing systems manage it in user space with expert-granular placement, frequenc…
FRESCO: Complete and Scalable Temporal Safety for CHERI Application Processors
Merve Gülmez, Nils Jordan, Jialun Zhang +4
CHERI provides hardware-enforced spatial memory safety. While prior work extends it with heap temporal safety, stack use-after-return remains unaddressed. Existing defenses fall sh…
RENDER: Controlling Reader-Facing Evidence in LLM Memory Evaluation
Yuan Si, Simeng Han, Daming Li +1
Memory and RAG evaluations often treat the answering model's input as an implementation detail, even though systems may render the same history as a memory entry, summary, typed re…
Do Recommendation Algorithms Work When Users Are LLM Agents? A Case Study on Moltbook
Daming Li, Simeng Han, Jialu Zhang
Large language model (LLM) agents are increasingly populating web platforms, raising a fundamental question for recommender systems: do algorithms designed for human users still wo…
Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime
Yuan Si, Yufeng Lin, Daming Li +3
Public Scratch projects are reused in computing education as classroom examples, remix sources, open-exploration materials, and research data. Curation often begins with titles, th…
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…
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…
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…
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…
Attraction, Not Adaptation: How AI Agent Communities Develop Distinct Linguistic Identities
Daming Li, Simeng Han, Can Meng +2
When tens of thousands of autonomous AI agents interact in topical online forums, do they develop distinct community-specific linguistic identities? We study this question on Moltb…
ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs
Yuan Si, Jialu Zhang
Two Scratch programs can be syntactically far apart-renamed variables, split scripts, extracted custom blocks, or reordered initialization-and still behave identically; a one-block…
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…