Vadim Zaliva, Yannick Zakowski, Ilia Zaichuk, Valerii Huhnin, Calvin Beck, Irene Yoon, Steve Zdancewic: HELIX: Verified compilation of cyber-physical control systems to LLVM IR https://arxiv.org/abs/2604.18593 https://arxiv.org/pdf/2604.18593 https://arxiv.org/html/2604.18593

Rub\'en Dar\'io Guerrero: RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen https://arxiv.org/abs/2604.18585 https://arxiv.org/pdf/2604.18585 https://arxiv.org/html/2604.18585

[2026-04-22 Wed (UTC), 2 new articles found for csPL Programming Languages]

Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg: Compositional security definitions for higher-order where declassification https://arxiv.org/abs/2604.18300 https://arxiv.org/pdf/2604.18300 https://arxiv.org/html/2604.18300

Uraz Odyurt, \"Omer Sayilir, Mari\"elle Stoelinga, Vadim Zaytsev: Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems https://arxiv.org/abs/2604.18191 https://arxiv.org/pdf/2604.18191 https://arxiv.org/html/2604.18191

Benedikt Bollig, Matthias F\"ugger, Thomas Nowak: Provable Coordination for LLM Agents via Message Sequence Charts https://arxiv.org/abs/2604.17612 https://arxiv.org/pdf/2604.17612 https://arxiv.org/html/2604.17612

Victor Chen, Ayden Coughlin, Michael D. Bond: &inator: Correct, Precise C-to-Rust Interface Translation https://arxiv.org/abs/2604.17261 https://arxiv.org/pdf/2604.17261 https://arxiv.org/html/2604.17261

Atharva Chougule, Alexander J Root, Rubens Lacouture, Bobby Yan, Rohan Yadav, Fredrik Kjolstad: Partitioning Unstructured Sparse Tensor Algebra for Load-Balanced Parallel Execution https://arxiv.org/abs/2604.17198 https://arxiv.org/pdf/2604.17198 https://arxiv.org/html/2604.17198

Vittal Mirji: Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines https://arxiv.org/abs/2604.16986 https://arxiv.org/pdf/2604.16986 https://arxiv.org/html/2604.16986

[2026-04-21 Tue (UTC), 6 new articles found for csPL Programming Languages]

Lukas Panneke, Heike Wehrheim: jMT: Testing Correctness of Java Memory Models (Extended Version) https://arxiv.org/abs/2604.15978 https://arxiv.org/pdf/2604.15978 https://arxiv.org/html/2604.15978

Laura Zielinski, Justin Hsu: Synthesizing Backward Error Bounds, Backward https://arxiv.org/abs/2604.15633 https://arxiv.org/pdf/2604.15633 https://arxiv.org/html/2604.15633

Abhishek Uppar, Omar Muhammad, Sumanth Prabhu, Deepak D'Souza, Madhusudan P, Adithya Murali: Verification Modulo Tested Library Contracts https://arxiv.org/abs/2604.15533 https://arxiv.org/pdf/2604.15533 https://arxiv.org/html/2604.15533

[2026-04-20 Mon (UTC), 3 new articles found for csPL Programming Languages]

Yusuke Matsushita, Hiromi Ishii: Pure Borrow: Linear Haskell Meets Rust-Style Borrowing https://arxiv.org/abs/2604.15290 https://arxiv.org/pdf/2604.15290 https://arxiv.org/html/2604.15290

Mengdi Wu, Xiaoyu Jiang, Oded Padon, Zhihao Jia: Prism: Symbolic Superoptimization of Tensor Programs https://arxiv.org/abs/2604.15272 https://arxiv.org/pdf/2604.15272 https://arxiv.org/html/2604.15272

Attila Egri-Nagy: What if we have 90 minutes only to teach programming? https://arxiv.org/abs/2604.14942 https://arxiv.org/pdf/2604.14942 https://arxiv.org/html/2604.14942

Yifan Zhao, Yuchen Yang, Matei Budiu, Sasa Misailovic: Nautilus: An Auto-Scheduling Tensor Compiler for Efficient Tiled GPU Kernels https://arxiv.org/abs/2604.14825 https://arxiv.org/pdf/2604.14825 https://arxiv.org/html/2604.14825

Jeffrey C. Ching, Quan Zhou, Danfeng Zhang: Filament: Denning-Style Information Flow Control for Rust https://arxiv.org/abs/2604.14357 https://arxiv.org/pdf/2604.14357 https://arxiv.org/html/2604.14357

[2026-04-17 Fri (UTC), 5 new articles found for csPL Programming Languages]

Yihe Li, Gregory J. Duck: Persistent Iterators with Value Semantics https://arxiv.org/abs/2604.14072 https://arxiv.org/pdf/2604.14072 https://arxiv.org/html/2604.14072

Emmanuel Su\'arez Acevedo, Tiago Ferreira, Kevin Batz, Oliver B{\o}ving, Nate Foster, Alexandra Silva: Weighted NetKAT: A Programming Language For Quantitative Network Verification https://arxiv.org/abs/2604.13987 https://arxiv.org/pdf/2604.13987 https://arxiv.org/html/2604.13987

Akash Deo, Simone Campanoni, Tommy McMichen: AI Coding Agents Need Better Compiler Remarks https://arxiv.org/abs/2604.13927 https://arxiv.org/pdf/2604.13927 https://arxiv.org/html/2604.13927

Giovanna Kobus Conrado, Andreas Pavlogiannis: On the Decidability of Verification under Release/Acquire https://arxiv.org/abs/2604.13683 https://arxiv.org/pdf/2604.13683 https://arxiv.org/html/2604.13683

Gregory Morse, Tam\'as Kozsik: Erlang Binary and Source Code Obfuscation https://arxiv.org/abs/2604.13675 https://arxiv.org/pdf/2604.13675 https://arxiv.org/html/2604.13675

June Rousseau, Denis Carnier, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese, Lars Birkedal: Cerisier: A Program Logic for Attestation in a Capability Machine https://arxiv.org/abs/2604.13638 https://arxiv.org/pdf/2604.13638 https://arxiv.org/html/2604.13638

Robert Zhang, Eric Hayden Campbell, Dixin Tang, Isil Dillig: Optimal Predicate Pushdown Synthesis https://arxiv.org/abs/2604.13351 https://arxiv.org/pdf/2604.13351 https://arxiv.org/html/2604.13351

Rui Dong, Qingyue Wu, Danny Ding, Zheng Guo, Ruyi Ji, Xinyu Wang: Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics https://arxiv.org/abs/2604.13290 https://arxiv.org/pdf/2604.13290 https://arxiv.org/html/2604.13290

[2026-04-16 Thu (UTC), 8 new articles found for csPL Programming Languages]

Breandan Considine: Towards a Linear-Algebraic Hypervisor https://arxiv.org/abs/2604.12902 https://arxiv.org/pdf/2604.12902 https://arxiv.org/html/2604.12902