By ben-manes

Runs controlled JMH experiments on the Caffeine cache to find shared contention and hot-path waste, then reviews correctness and returns a reviewable patch.

ben-manes/caffeine

Audits a module by walking its git history commit by commit, tracking unresolved issues forward, and reporting the ones that survive to HEAD as findings.

ben-manes/caffeine

Runs a hostile review of the Caffeine Java caching library with parallel subagents that get no design docs, then challenges and consolidates their findings.

ben-manes/caffeine

Audits the Caffeine cache source for hot-path costs such as allocations, contention and memory layout, reporting only findings tied to specific lines.

ben-manes/caffeine

Compares code paths that should behave the same, such as sync and async cache methods, and requires a concrete scenario where the two observably disagree.

ben-manes/caffeine

Prices each step of the window climber algorithm by disabling it in turn, to find steps that no longer earn their keep and branches that no longer fire.

ben-manes/caffeine

Runs three parallel reviewers on a diff or branch, one blind, one design-aware and one matching past bug patterns, then triages their findings.

ben-manes/caffeine

Searches synthetic workloads for cases where Caffeine's adaptive eviction policy falls short of its achievable hit rate, then classifies each gap by cause.

ben-manes/caffeine

Analyzes a cache trace file for the Caffeine simulator, characterizes its access pattern and recommends which eviction policies to compare.

ben-manes/caffeine

Compares cache eviction policies by hit rate across several cache sizes on a trace file using the Caffeine simulator, with CSV tables and a PNG chart.

ben-manes/caffeine

Audit the adaptive window hill-climber and region-resize logic for implementation defects (not algorithm quality)

ben-manes/caffeine

Audit ConcurrentMap and Map contract compliance for asMap() view

ben-manes/caffeine

Audit for provably redundant work or state, where clarity is the payoff and no defect or measured speedup is required

ben-manes/caffeine

Audit explicit state machines (drain status, node lifecycle, async-value lifecycle) for illegal or missed transitions

ben-manes/caffeine

Verify every third-party and sharp-edged JDK API usage against the contract the upstream documentation actually states

ben-manes/caffeine

Analyze behavior under adversarial or extreme API inputs. An agent skill from ben-manes/caffeine.

ben-manes/caffeine

Audit for arithmetic and boundary bugs (overflow, off-by-one, drift)

ben-manes/caffeine

Find places where documented API contracts and the implementation diverge

ben-manes/caffeine

Discover test coverage gaps that could hide correctness defects

ben-manes/caffeine

Audit exception safety and failure atomicity across all throw sites

ben-manes/caffeine

Analyze feature interaction pairs and triples for concurrent defects

ben-manes/caffeine

Java Memory Model audit of all VarHandle/volatile field access modes

ben-manes/caffeine

Analyze shutdown, close, and GC-of-cache lifecycle correctness

ben-manes/caffeine

Analyze the cache for linearizability violations across all public methods

ben-manes/caffeine

Analyze the cache for liveness defects (progress, termination, starvation)

ben-manes/caffeine

Analyze reference retention paths that prevent GC of removed entries

ben-manes/caffeine

Audit one cache subsystem for concurrency correctness defects

ben-manes/caffeine

Audit build and CI configuration for correctness risks. An agent skill from ben-manes/caffeine.

ben-manes/caffeine

Attempt formal correctness proofs for all public cache methods

ben-manes/caffeine

Analyze concurrent iteration and view consistency guarantees

ben-manes/caffeine

JSR-107 (JCache) spec-conformance audit

ben-manes/caffeine

Analyze user callbacks for re-entrancy defects (deadlock, corruption)

ben-manes/caffeine

Audit serialization proxy correctness and round-trip safety. An agent skill from ben-manes/caffeine.

ben-manes/caffeine