ben-manes
- 30 skills
- 0 followers
- 1 week ago last updated
- ▌
- ▌ Sim Analyze · ben-manesAnalyze a cache trace file to understand its characteristics and recommend policies
- ▌ Sim Compare · ben-manesRun cache policy hit rate comparison across multiple cache sizes with charts
- ▌ Audit Regret · ben-manes bundleAdversarial workload search for eviction-policy regret. Crafts, shrinks, and classifies workloads on which the adaptive window climber fails to close the gap to its achievable optimum, and routes each failure class to the mechanism responsible (controller, policy structure, or recovery layer)
- ▌ Review Change · ben-manesMulti-layer adversarial code review of a diff or branch using parallel specialized reviewers with triage
- ▌
- ▌ Audit Liveness · ben-manesAnalyze the cache for liveness defects (progress, termination, starvation)
- ▌
- ▌
- ▌ Audit Adaptivity · ben-manesAudit the adaptive window hill-climber and region-resize logic for implementation defects (not algorithm quality)
- ▌
- ▌
- ▌ Climber Minimize · ben-manes bundlePrice each algorithmic step of the window climber by removing it, to find steps that no longer earn their keep and branches that no longer fire
- ▌ Audit Adversarial · ben-manesHostile full-codebase review by parallel adversarial agents with no design context — finds bugs that domain familiarity masks
- ▌ Audit Performance · ben-manesAudit hot paths for performance inefficiencies (allocations, contention, layout)
- ▌
- ▌
- ▌
- ▌ Audit State Machine · ben-manesAudit explicit state machines (drain status, node lifecycle, async-value lifecycle) for illegal or missed transitions
- ▌ Audit Temporal Walk · ben-manes bundleHeavyweight history-mining bug audit. Walks the caffeine module's git history chronologically (oldest to HEAD), maintains a forward-tracked issue database, and surfaces concerns introduced by past commits that were never resolved. Catches bugs that snapshot mining cannot — half-fixes invisible from current state, latent+trigger pairs across multi-commit interactions, and partial refactors. Slow (model/effort-dependent; ~24h on Opus + max effort) and rare-run (every several months or before a major release).
- ▌ Audit Contract Drift · ben-manesFind places where documented API contracts and the implementation diverge
- ▌ Audit Linearizability · ben-manesAnalyze the cache for linearizability violations across all public methods
- ▌ Audit Exception Safety · ben-manesAudit exception safety and failure atomicity across all throw sites
- ▌ Audit Memory Retention · ben-manesAnalyze reference retention paths that prevent GC of removed entries
- ▌
- ▌
- ▌
- ▌ Audit Sibling Divergence · ben-manesDifferential audit comparing matched code paths that should behave identically. Spawns one auditor per sibling pair (sync/async, bounded/unbounded, view consistency, bulk vs single, generated node variants, read fast vs slow, adapter conformance) and requires a concrete witness scenario where the two paths diverge observably.
- ▌ Audit Feature Interaction · ben-manesAnalyze feature interaction pairs and triples for concurrent defects
- ▌ Audit Third Party Contracts · ben-manesVerify every third-party and sharp-edged JDK API usage against the contract the upstream documentation actually states