11 papers
Far-from-equilibrium scaling of non-abelian Goldstone modes
Carl Philipp Zelle, Gustav John, Orla Supple +2
We identify a broad class of nonthermal phases generated by the interplay of continuous symmetry breaking and weak nonequilibrium driving. Extending Kardar-Parisi-Zhang (KPZ) physi…
Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering
Xiuwei Shang, Li Hu, Xiao Jiang +7
Human-Oriented Binary Reverse Engineering (HOBRE) aims to transform decompiled pseudocode into a more human-friendly representation, thereby reducing the cognitive burden of revers…
Lossless Tensor Compression as Program Synthesis
Jieke Shi, Junda He, Wenjia Jiang +11
Model checkpoints are growing in both number and size, which makes archival, transfer, and deployment increasingly costly. General-purpose compressors can reduce storage requiremen…
Compiling Code LLMs into Lightweight Executables
Jieke Shi, Junda He, Zhou Yang +6
The demand for better prediction accuracy and higher execution performance in neural networks continues to grow. The emergence and success of Large Language Models (LLMs) have prod…
SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
Junkai Chen, Huihui Huang, Yunbo Lyu +10
Large language model-powered code agents are rapidly transforming software engineering, yet the security risks of their generated code have become a critical concern. Existing benc…
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
Huihui Huang, Jieke Shi, Bo Wang +2
Memory leaks remain prevalent in real-world C/C++ software. Static analyzers such as CodeQL provide scalable program analysis but frequently miss such bugs because they cannot reco…