4 papers
Analog Cosmology in a Quenched Bose-Einstein Condensate Bubble
Ruotong Zhai, Brendan Rhyno, Zain Mehdi +3
Recent interest and realization of ultracold bosons confined in shell-shaped, or bubble, traps have opened up several directions in the study of Bose-Einstein condensates (BECs) in…
SkillAudit: From Fixed-Suite Benchmarking to Skill-Centered Assessment
Dexu Yu, Youhua Li, Zhaoyang Guan +12
Agent skills have become a practical way to extend large language model agents, but the growing skill ecosystem still lacks a reliable way to judge whether a skill is worth deployi…
Annotating and Auditing the Safety Properties of Unsafe Rust
Zihao Rao, Jiping Zhou, Hongliang Tian +2
In Rust, unsafe code is the sole source of potential undefined behaviors. To avoid misuse, Rust developers should clarify the safety properties for each unsafe API. However, the co…
Characterizing Unsafe Code Encapsulation In Real-world Rust Systems
Zihao Rao, Yiran Yang, Hui Xu
Interior unsafe is an essential design paradigm advocated by the Rust community in system software development. However, there is little official guidance or few best practices reg…