Causality and Semantic Separation

Collection of recent programming-languages and formal-methods papers with several security-relevant contributions. Key items: a mechanized semantic characterization of d‑separation linking causality to noninterference (Rocq); a compositional operational semantics for Crystality, a parallel-EVM smart-contract language; extensions to ownership/refinement types for pointer arithmetic and nested arrays; a specification language for ML kernel contracts to detect silent precision/ordering/out-of-bounds failures across silicon; BLAST, a benchmark for LLM-generated ASP code; TyQL for safe recursive,语言