Abstract Interpretation of FIFO Replacement
Abstract elided by the publisher.
Related papers
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution) TACAS 2020
- Piecewise FIFO Channels Are Analyzable VMCAI 2006
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels CAV 1998
- Exploring Code Cache Eviction Granularities in Dynamic Optimization Systems CGO 2004
- Distributed FIFO Allocation of Identical Resources Using Small Shared Space TOPLAS 1989
- Balanced Allocations over Efficient Queues: A Fast Relaxed FIFO Queue PPoPP 2025
- A Fully Abstract Trace Model for Dataflow Networks POPL 1989
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012