Tootfinder

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Jack Hughes, Michael Vollmer, Mark Batty
https://arxiv.org/abs/2506.02182 https://

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Region based memory management is a powerful tool designed with the goal of ensuring memory safety statically. The region calculus of Tofte and Talpin is a well known example of a region based system, which uses regions to manage memory in a stack-like fashion. However, the region calculus is lexically scoped and requires explicit annotation of memory regions, which can be cumbersome for the programmer. Other systems have addressed non-lexical regions, but these approaches typically require the…

Unified Memcapacitor-Memristor Memory for Synaptic Weights and Neuron Temporal Dynamics
Simone D'Agostino, Marco Massarotto, Tristan Torchet, Filippo Moro, Niccol\`o Castellani, Laurent Grenouillet, Yann Beilliard, David Esseni, Melika Payvand, Elisa Vianello
https://arxiv.org/abs/2506.22227

Unified Memcapacitor-Memristor Memory for Synaptic Weights and Neuron Temporal Dynamics
We present a fabricated and experimentally characterized memory stack that unifies memristive and memcapacitive behavior. Exploiting this dual functionality, we design a circuit enabling simultaneous control of spatial and temporal dynamics in recurrent spiking neural networks (RSNNs). Hardware-aware simulations highlight its promise for efficient neuromorphic processing.