10 papers · 1 filter
Service-Cut Certificates for Aligned Eviction in Tiered Cache Networks
Faruk Alpay, Levent Sarioglu
In a tiered cache, eviction is a graph decision: removing one aligned storage block can disconnect downstream demand that never addressed that block directly, so request recency al…
Guarded Epoch Bloom Filters for Sliding-Window Membership
Faruk Alpay, Levent Sarioglu
Approximate membership queries in streams often need recent-window semantics rather than membership over all items ever seen. This paper studies guarded epoch Bloom filters, a slid…
Comparison Patrols on Drifting Orders: Certified Rank Maintenance, Evolving Planar Maxima, and Selection under Drifting Fitness
Faruk Alpay, Levent Sarioglu
Rank-based selection in dynamic environments acts on order information that becomes stale while it is being used. Tournaments, elitism, truncation, and Pareto selection may therefo…
Split Tallies: A Discrete Certificate Calculus for Auditing Dynamic Ordered Sets in Constant Memory
Faruk Alpay, Levent Sarioglu
We study retrospective auditing for dynamic ordered sets maintained by an untrusted party. A passive auditor watches insert, delete, membership, predecessor, successor, min, and ma…
The Cascade Log: Reference-Stable Windowing over Tiered Append Sequences
Faruk Alpay, Levent Sarioglu
A long-running append-mostly sequence, such as an edit log, event store, or versioned working set, is usually tiered into a bounded hot stratum and colder folded summaries. This sa…
Residual-Entropy Accounting for Routed Atom-Budgeted Learned Indexes
Faruk Alpay, Levent Sarioglu
We study exact predecessor and rank search in a routed, atom-budgeted, certified-repair learned-index architecture. An ordered directory routes each query to a contiguous interval,…