Cover Image

Cache Persistence Analysis: Finally Exact

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stock, Gregory, Hahn, Sebastian, Reineke, Jan
Format:	Preprint
Published:	2019
Subjects:	Programming Languages 68Q60 F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
by: Alpay, Faruk, et al.
Published: (2025)

On the computational complexity of Data Flow Analysis
by: Sood, Gaurav, et al.
Published: (2013)

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

A Unified Framework for Quantitative Cache Analysis
by: Kahlen, Sophie, et al.
Published: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
by: Mikinka, Anthony
Published: (2025)

Understanding the Nature of Generative AI as Threshold Logic in High-Dimensional Space
by: Levin, Ilya
Published: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Formal Foundations for Controlled Stochastic Activity Networks
by: Movaghar, Ali
Published: (2025)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)

A First Runtime Analysis of the PAES-25: An Enhanced Variant of the Pareto Archived Evolution Strategy
by: Opris, Andre
Published: (2025)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
by: Rasheed, Abdullah
Published: (2024)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
by: Morse, Gregory, et al.
Published: (2026)

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
by: Petersson, Johan
Published: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
by: Darshana, Kusal
Published: (2026)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
by: Koomullil, George
Published: (2026)

Discrete Diffusion Models for Language Generation
by: Weligalle, Ashen
Published: (2025)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Conformance Games for Graded Semantics
by: Forster, Jonas, et al.
Published: (2024)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
by: Alpay, Faruk, et al.
Published: (2026)

A robust graph-based approach to observational equivalence
by: Ghica, Dan R., et al.
Published: (2019)

Extending the C/C++ Memory Model with Inline Assembly
by: de Vilhena, Paulo Emílio, et al.
Published: (2024)

A Cartesian Closed Category for Random Variables
by: Di Gianantonio, Pietro, et al.
Published: (2024)

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
by: Biernacka, Małgorzata, et al.
Published: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

Operational methods in semantics
by: Amadio, Roberto M.
Published: (2025)

Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Binarized Neural Networks Converge Toward Algorithmic Simplicity: Empirical Support for the Learning-as-Compression Hypothesis
by: Sakabe, Eduardo Y., et al.
Published: (2025)

Foundational Verification of Smart Contracts through Verified Compilation
by: Sjöberg, Vilhelm, et al.
Published: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

NP-hard problems are not in BQP
by: Czerwinski, Reiner
Published: (2023)

Sample completion, structured correlation, and Netflix problems
by: Coregliano, Leonardo N., et al.
Published: (2025)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)

Analysis of multivariate symbol statistics in primitive rational models
by: Goldwurm, Massimiliano, et al.
Published: (2026)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
by: Vandeloise, Mikel
Published: (2025)