Tootfinder

The downgrading semantics of memory safety
Ren\'e Rydhof Hansen, Andreas Stenb{\ae}k Larsen, Aslan Askarov
https://arxiv.org/abs/2507.11282 https://

The downgrading semantics of memory safety
Memory safety is traditionally characterized in terms of bad things that cannot happen, an approach that is often criticized as unprincipled. Prior work suggest a connection between memory safety and noninterference, but no satisfactory semantic notion of memory safety is currently known. This work proposes a notion of gradual allocator independence that accurately captures many allocator-specific aspects of memory safety. We consider a low-level language with access to an allocator that prov…

Probing Quantum Spin Systems with Kolmogorov-Arnold Neural Network Quantum States
Mahmud Ashraf Shamim, Eric Reinhardt, Talal Ahmed Chowdhury, Sergei Gleyzer, Paulo T Araujo
https://arxiv.org/abs/2506.01891

Probing Quantum Spin Systems with Kolmogorov-Arnold Neural Network Quantum States
Neural Quantum States (NQS) are a class of variational wave functions parametrized by neural networks (NNs) to study quantum many-body systems. In this work, we propose SineKAN, the NQS ansatz based on Kolmogorov-Arnold Networks (KANs), to represent quantum mechanical wave functions as nested univariate functions. We show that \sk wavefunction with learnable sinusoidal activation functions can capture the ground state energies, fidelities and various correlation functions of the 1D Transverse-F…

A nonstandard finite difference scheme for an SEIQR epidemiological PDE mode
Achraf Zinihi, Matthias Ehrhardt, Moulay Rchid Sidi Ammi
https://arxiv.org/abs/2508.02928 https://…

A nonstandard finite difference scheme for an SEIQR epidemiological PDE mode
This paper introduces a nonstandard finite difference (NSFD) approach to a reaction-diffusion SEIQR epidemiological model, which captures the spatiotemporal dynamics of infectious disease transmission. Formulated as a system of semilinear parabolic partial differential equations (PDEs), the model extends classical compartmental models by incorporating spatial diffusion to account for population movement and spatial heterogeneity. The proposed NSFD discretization is designed to preserve the cont…