ClozeMaster masks bracketed structures in historical Rust bug code and uses LLMs to infill them, generating test programs that discovered 27 confirmed bugs in rustc and mrustc while outperforming existing fuzzers.
Behaviorally typed state machines in typescript for heterogeneous swarms
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 2polarities
background 2representative citing papers
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
citing papers explorer
-
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
ClozeMaster masks bracketed structures in historical Rust bug code and uses LLMs to infill them, generating test programs that discovered 27 confirmed bugs in rustc and mrustc while outperforming existing fuzzers.
-
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.