Image de couverture de livre

Persistent Amortised Analysis, Operationally

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lorenzen, Anton
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
par: Walch, Armin, et autres
Publié: (2026)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
par: Leutgeb, Lorenz, et autres
Publié: (2022)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

Persistent Iterators with Value Semantics
par: Li, Yihe, et autres
Publié: (2026)

Evolution Language Framework for Persistent Objects
par: Kamina, Tetsuo, et autres
Publié: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
par: Smith, Scott, et autres
Publié: (2023)

E-Graphs as a Persistent Compiler Abstraction
par: Merckx, Jules, et autres
Publié: (2026)

Cache Persistence Analysis: Finally Exact
par: Stock, Gregory, et autres
Publié: (2019)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

Bentō: Optimizing Persistent Memory Programs
par: Amaro, Sebastião, et autres
Publié: (2026)

Automated Insertion of Flushes and Fences for Persistency
par: Guo, Yutong, et autres
Publié: (2025)

An Operational Semantics for Yul
par: Koutavas, Vasileios, et autres
Publié: (2024)

A Refined Operational Semantics for FreeCHR
par: Rechenberger, Sascha, et autres
Publié: (2025)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
par: Klimis, Vasileios, et autres
Publié: (2024)

Fast Collection Operations from Indexed Stream Fusion
par: Kovach, Scott, et autres
Publié: (2025)

Study of the Use of Property Probes in an Educational Setting
par: Alaküla, Anton Risberg, et autres
Publié: (2025)

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
par: Xu, Ziyun, et autres
Publié: (2026)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
par: Yang, Zhixuan, et autres
Publié: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
par: Xu, Ziyun, et autres
Publié: (2025)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
par: Qiu, Jie, et autres
Publié: (2024)

A Compiler for Operations on Relations with Bag Semantics
par: Dong, James, et autres
Publié: (2025)

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

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

Verified Lifting of Deep learning Operators
par: Zhan, Qi, et autres
Publié: (2024)

Arithmetizing Shape Analysis
par: Wolff, Sebastian, et autres
Publié: (2024)

Abstractions of Sequences, Functions and Operators
par: Rustenholz, Louis, et autres
Publié: (2025)

An Iris for Expected Cost Analysis
par: Lohse, Janine, et autres
Publié: (2024)

(Un)Solvable Loop Analysis
par: Amrollahi, Daneshvar, et autres
Publié: (2023)

Charon: An Analysis Framework for Rust
par: Ho, Son, et autres
Publié: (2024)

Decompiling for Constant-Time Analysis
par: Arranz-Olmos, Santiago, et autres
Publié: (2025)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
par: Zhao, Yifan, et autres
Publié: (2025)

AnCoder: Anchored Code Generation via Discrete Diffusion Models
par: Xue, Anton, et autres
Publié: (2026)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Handling Exceptions and Effects with Automatic Resource Analysis
par: Chu, Ethan, et autres
Publié: (2026)

A Categorical Basis for Robust Program Analysis
par: Kincaid, Zachary, et autres
Publié: (2026)

Automated Expected Cost Analysis for Quantum Programs
par: Moser, Georg, et autres
Publié: (2026)

A Data-driven Analysis of Code Optimizations
par: Hakimi, Yacine, et autres
Publié: (2025)

The ART of Sharing Points-to Analysis (Extended Abstract)
par: Halalingaiah, Shashin, et autres
Publié: (2024)