2 papers
cs.PL2025
Precise Reasoning About Container-Internal Pointers with Logical Pinning
Yawen Guan, Clément Pit-Claudel
Most separation logics hide container-internal pointers for modularity. This makes it difficult to specify container APIs that temporarily expose those pointers to the outside, and…
physics.ins-det2025
Ultra-sensitive radon assay using an electrostatic chamber in a recirculating system
nEXO Collaboration, A. Anker, P. A. Breur +138
Rare event searches such as neutrinoless double beta decay and Weakly Interacting Massive Particle detection require ultra-low background detectors. Radon contamination is a signif…