Cover Image

Persistent Amortised Analysis, Operationally

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lorenzen, Anton
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Evolution Language Framework for Persistent Objects
by: Kamina, Tetsuo, et al.
Published: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
by: Smith, Scott, et al.
Published: (2023)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

Cache Persistence Analysis: Finally Exact
by: Stock, Gregory, et al.
Published: (2019)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

Bentō: Optimizing Persistent Memory Programs
by: Amaro, Sebastião, et al.
Published: (2026)

Automated Insertion of Flushes and Fences for Persistency
by: Guo, Yutong, et al.
Published: (2025)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
by: Klimis, Vasileios, et al.
Published: (2024)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

Study of the Use of Property Probes in an Educational Setting
by: Alaküla, Anton Risberg, et al.
Published: (2025)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
by: Xu, Ziyun, et al.
Published: (2026)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
by: Yang, Zhixuan, et al.
Published: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
by: Qiu, Jie, et al.
Published: (2024)

A Compiler for Operations on Relations with Bag Semantics
by: Dong, James, et al.
Published: (2025)

From Tool Calling to Symbolic Thinking: LLMs in a Persistent Lisp Metaprogramming Loop
by: de la Torre, Jordi
Published: (2025)

Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
by: Wu, Zi-Niu
Published: (2025)

Verified Lifting of Deep learning Operators
by: Zhan, Qi, et al.
Published: (2024)

Arithmetizing Shape Analysis
by: Wolff, Sebastian, et al.
Published: (2024)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

An Iris for Expected Cost Analysis
by: Lohse, Janine, et al.
Published: (2024)

(Un)Solvable Loop Analysis
by: Amrollahi, Daneshvar, et al.
Published: (2023)

Charon: An Analysis Framework for Rust
by: Ho, Son, et al.
Published: (2024)

Decompiling for Constant-Time Analysis
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
by: Zhao, Yifan, et al.
Published: (2025)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
by: Xue, Anton, et al.
Published: (2026)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Handling Exceptions and Effects with Automatic Resource Analysis
by: Chu, Ethan, et al.
Published: (2026)

A Categorical Basis for Robust Program Analysis
by: Kincaid, Zachary, et al.
Published: (2026)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

A Data-driven Analysis of Code Optimizations
by: Hakimi, Yacine, et al.
Published: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
by: Halalingaiah, Shashin, et al.
Published: (2024)