Catalin Toma, Manuel Oriol Modeling Quantum Computing with $\pi$-calculus https://arxiv.org/abs/2609.13156

Shengyi Wang, Kathrin Stark, Andrew W. Appel Verification of a Generational Garbage Collector https://arxiv.org/abs/2609.13186

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi Equality saturation theory exploration `a la carte https://arxiv.org/abs/2609.14527

Jacob Malloy, Michael R. Jantz, Terry Jones Opportunistic ZGC: Leveraging Idle Cores for More Effective Concurrent Garbage Collection https://arxiv.org/abs/2609.15558

Nicklas Nidh\"ogg Certified Panic Mode: Repair-Invariant Error Recovery for Maximal-Munch Lexing https://arxiv.org/abs/2609.10600

Gaurav Verma, Michael Canesche, Fernando Magno Quint\~ao Pereira Enhancing the Power of Polyhedral-Based Optimizations with Coordinate-Based Hill Climbing https://arxiv.org/abs/2609.03114

Guanxuan Wu, Allison Sullivan Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study https://arxiv.org/abs/2609.03998

Parker Ziegler, David Minh-Duy Cao, Justin Lubin, Sarah E. Chasins Direct Manipulation and Natural Language Programming, Together at Last? https://arxiv.org/abs/2608.26359

Vincent Wang-Ma\'{s}cianica You may implement this later: Cofunctors as partial implementations https://arxiv.org/abs/2608.27180

Chik\'e Abuah Tacet: A Language and Type System for Automatic Statistical Validity Accounting https://arxiv.org/abs/2608.27451

Yifan Shi (Peking University, DeepSeek-AI), Wei Zhang (Peking University), Tianyi Cui (DeepSeek-AI) A Programming Paradigm for Spatiotemporal Composability https://arxiv.org/abs/2608.25512

Hiroyuki Nakahata SAGA: A Comparison Theorem for Local-to-Global Software Architecture - From Semantic Repair Cohomology to Algebraic-Geometric Descent https://arxiv.org/abs/2608.21458

Clemens Eisenhofer, Yuwen Jia, Daniel Kroening, Sergey Pupyrev Tensor Seeks Layout: Formalizing Layout Selection for ML Compilers https://arxiv.org/abs/2608.21555

Md Zarzees Uddin Shah Chowdhury, Rabib Jahin Ibn Momin, Rifat Shahriyar Rust for Secure Backend Development: A Critical Review and Extended Vulnerability Comparison with Node.js and Django https://arxiv.org/abs/2608.22624

Tina Massoudi, Chris Dutchyn VeGo: Direct Deductive Formal Verification of Go Programs for Computer Science Education https://arxiv.org/abs/2608.22630

Yusheng Zheng, Xiaoyu Song, Yanpeng Hu, Lebin Cheng, Yuxi Huang, Wei Zhang When Can Agents Safely Checkpoint, Fork, Restore, and Merge? Exact Checking for Execution Edits https://arxiv.org/abs/2608.22928

Simon Daniel, Timon B\"ohler, David Richter, Pascal Weisenburger, Mira Mezini On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values https://arxiv.org/abs/2608.23237

Matthew Keenan, Nishant Kheterpal, Jean-Baptiste Jeannin, Cyrus Omar Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction https://arxiv.org/abs/2608.23309

Sayed Mahbub Hasan Amiri, Atiar Zahan MicroPython and CircuitPython: Pythons Quiet Takeover of IoT and Robotics https://arxiv.org/abs/2608.18160

Dinghong Zhong, Alexander Bai, Mikail Khan, Guannan Wei Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version) https://arxiv.org/abs/2608.18327

Emma Ahrens, Samuel Rode, Philipp Schr\"oer, Joost-Pieter Katoen Towards a Deductive Verification Infrastructure for Weighted Programming https://arxiv.org/abs/2608.18971

Andrew Laramore, Joseph Spracklen, Murtuza Jadliwala Beyond Single-Vulnerability Evaluation: Closing the Engineering Decision Gap Between C Retrofits and Native Safety https://arxiv.org/abs/2608.15486

Katherine Wu, Jules Jacobs, Kevin Batz, Alexandra Silva Type-Directed Discretization of Probabilistic Programs (Extended Version) https://arxiv.org/abs/2608.16093

Timon B\"ohler, Simon Daniel, David Richter, Pascal Weisenburger, Mira Mezini Mechanizing Choreographic Programs and Hoare Logic with State Transformers https://arxiv.org/abs/2608.16346

Emma Tye A Rig of Transformations https://arxiv.org/abs/2608.12409

Bernd Finkbeiner, Martin Fr\"anzle, Florian Kohn, Paul Kr\"oger Stream-based Online and Offline Monitoring under Measurement Noise https://arxiv.org/abs/2608.13211

Lena Verscht, Hannah Mertens, Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen Multiobjective Preexpectation Reasoning for Probabilistic Programs https://arxiv.org/abs/2608.13268

Samuel Frontull, Manuel Meitinger, Georg Moser Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version) https://arxiv.org/abs/2608.11833

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, David Basin Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions https://arxiv.org/abs/2608.07793

Yuito Murase, Atsushi Igarashi Refined^2 Environment Classifiers https://arxiv.org/abs/2608.07888