Going MLIR-native: Demonstrating a Future for DSL compilers on a NumPy-like Example

This arXiv feed (multiple PL papers) covers compiler infrastructure, formal verification, program translation, and domain-specific systems. Notable security-relevant items: (1) “Automatic Code and Test Generation of Smart Contracts” — a formal model and toolchain that generates Solidity code and tests from coordination models (implications for supply-chain security and contract correctness); (2) “&inator: Correct, Precise C-to-Rust Interface Translation” — a constraint-based approach to produce sound Rust interfaces from C, enabling safer migrations and reducing memory-safety risks; (3) “Exten