1. Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Graphs
   2026/07/18 by Abdallah Khemais · 2 citations
   #cs.AI #cs.LG #cs.PL
2. Rzk: a Proof Assistant for Synthetic ∞-Categories
   2026/07/13 by Nikolai Kudasov, Violetta Sim, Benedikt Ahrens · 1 voice
   #cs.LO #cs.PL #math.CT
3. Verifying Probabilistic Programs in Rust
   2026/07/14 by Alexander Y. Bai, Joseph Tassarotti · 1 voice
   Computer Science · #cs.PL
4. Bidirectional Elaborators à la Carte
   2026/07/10 by Andrew Slattery, Jonathan Sterling · 2 voices
   #cs.PL #cs.LO
5. ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs
   2026/07/09 by Pierre Dantas, Lucas Cordeiro, Waldir Junior · 5 voices
   #cs.PL #cs.AR #eess.SY
6. Kani: A Model Checker for Rust
   2026/07/01 by Rémi Delmas, Zyad Hassan, Qinheping Hu +9 · 11 voices
   #cs.SE #cs.LO #cs.PL
7. Beyond Objects
   2026/06/25 by Daniel Jackson · 1 voice
   #cs.SE #cs.HC #cs.PL
8. Lifting E-Graphs: A Function Isn't a Constant
   2026/06/22 by Philip Zucker · 2 voices
   #cs.PL
9. Behind Python: The Languages That Power AI
   2026/06/16 by Juan P. Licona-Luque, Beatriz A. Bosques-Palomo, Nezih Nieto-Gutiérrez +2 · 1 voice
   Computer Science · #cs.PL
10. ANEForge: Python for direct computation on the Apple Neural Engine
    2026/06/12 by Spencer H. Bryngelson · 1 voice
    Computer Science · #cs.PL #cs.AI #cs.MS
11. Type-Error Ablation and AI Coding Agents
    2026/06/01 by Shriram Krishnamurthi, Matthew Flatt · 4 voices · 1 citation
    #cs.PL
12. AI-PROPELLER: Warehouse-Scale Interprocedural Code Layout Optimization with AlphaEvolve
    2026/05/28 by Chaitanya Mamatha Ananda, Rajiv Gupta, Mircea Trofin +4 · 1 voice
    Computer Science · #cs.SE #cs.AI #cs.LG #cs.PL
13. Deterministic Fully-Static Whole-Binary Translation without Heuristics
    2026/05/08 by Hongyu Chen, James McGowan, Michael Franz · 23 voices
    #cs.CR #cs.PL
14. Finite Functional Programming
    2026/04/28 by Michael Arntzenius, Max Willsey · 2 voices
    #cs.PL
15. Adding Compilation Metadata To Binaries To Make Disassembly Decidable
    2026/04/21 by Daniel Engel, Freek Verbeek, Pranav Kumar +1 · 1 voice
    #cs.CR #cs.PL
16. Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
    2026/04/14 by Hongyi Jin, Bohan Hou, Guanjie Wang +18 · 4 voices
    #cs.DC #cs.LG #cs.PL
17. Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
    2026/04/09 by Shigeo Mitsunari, Takashi Hoshino · 14 voices
    #cs.PL #cs.AR
18. Agentic Compilation: Mitigating the LLM Rerun Crisis for Minimized-Inference-Cost Web Automation
    2026/04/08 by Jagadeesh Chundru · 2 voices
    Computer Science · #cs.DC #cs.AI #cs.PL
19. Semantics for 2D Rasterization
    2026/03/24 by Bhargav Kulkarni, Henry Whiting, Pavel Panchekha · 1 voice
    #cs.PL
20. Vectorization of Verilog Designs and its Effects on Verification and Synthesis
    2026/03/17 by Maria Fernanda Oliveira Guimarães, Ulisses Rosa, Ian Trudel +4 · 4 voices
    #cs.PL #cs.AR
21. Mixing visual and textual code
    2026/03/16 by Leif Andersen, Michael Ballantyne, Cameron Moy +2 · 9 voices
    #cs.PL
22. PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
    2026/03/06 by Uday Bondhugula, Akshay Baviskar, Navdeep Katel +3 · 1 voice
    Computer Science · #cs.PL #cs.LG
23. Agentic Code Reasoning
    2026/03/02 by Shubham Ugare, Satish Chandra · 4 voices
    #cs.SE #cs.AI #cs.PL
24. CuTe Layout Representation and Algebra
    2026/03/02 by Cris Cecka · 2 voices · 1 citation
    Computer Science · #cs.MS #cs.PL
25. RustyDL: A Program Logic for Rust
    2026/02/25 by Daniel Drodt, Reiner Hähnle · 1 voice
    Computer Science · #cs.PL #cs.LO
26. Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
    2026/02/23 by Zoe Paraskevopoulou · 1 voice · 1 citation
    #cs.PL
27. Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs)
    2026/02/23 by Mohammed Javed Absar, Muthu Baskaran, Abhikrant Sharma +22 · 2 voices
    Computer Science · #cs.PL #cs.AI
28. Package Managers à la Carte: A Formal Model of Dependency Resolution
    2026/02/20 by Ryan Gibb, Patrick Ferris, David Allsopp +2 · 11 voices
    #cs.PL #cs.SE
29. LCM: Lossless Context Management
    2026/02/14 by Clint Ehrlich, Theodore Blackman · 1 voice
    Computer Science · #cs.AI #cs.PL #cs.SE
30. CSLib: The Lean Computer Science Library
    2026/02/04 by Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi +5 · 5 voices
    #cs.LO #cs.PL

more