Distributed systems · v5
Consensus Beyond the Happy Path: Safety, Progress, and the Cost of Quorums
Quorum intersection is a safety ingredient; timely progress requires a different argument.
Read the review →AUTURNAL / RESEARCH LIBRARY / 2026.10AI meets discovery.
AI meets discovery.
Follow the evidence.
170 Chinese and English research reviews connecting primary studies, mathematical models and inspectable evidence.
170guides526primary sources510illustrations and charts
THE RESEARCH COLLECTION
Explore the research
Distributed systems · v5
Serializable Transactions as an Invariant-Preservation Problem
The right unit of correctness is the application invariant, not the absence of a familiar anomaly.
Read the review →
Distributed systems · v5
Exactly-Once Effects Across Crashes: Where the Transaction Boundary Ends
Delivery, execution, durable state change, and external observation are different events.
Read the review →
Distributed systems · v5
Convergence Is Not Intention: The Semantics of Local-First Collaboration
A merge can be mathematically convergent while remaining semantically wrong for the people using it.
Read the review →
Languages and verification · v5
What a Verified System Actually Guarantees: Refinement and the Trusted Boundary
Verification establishes a relation between models and implementations; the boundary of that relation is the result.
Read the review →
Languages and verification · v5
Concurrent Programs Across Memory Models: From Litmus Tests to Contracts
The order visible in source code is only one layer of a concurrent program's semantics.
Read the review →
Languages and verification · v5
Optimization as Refinement: Proving What a Compiler May Change
An optimization is justified by preserved observable behavior, not by algebraic resemblance.
Read the review →
Security and privacy · v5
Memory Safety with Capabilities: Spatial Authority, Lifetime, and Revocation
Bounding a pointer's authority and proving that its object is still alive are separate problems.
Read the review →
Security and privacy · v5
Isolation Beyond Architectural State: Reasoning About Microarchitectural Leakage
Preventing an architectural read does not prove that every observable execution trace is independent of a secret.
Read the review →
Security and privacy · v5
Privacy Budgets Under Composition: Accounting for Repeated Statistical Release
A privacy parameter belongs to a neighboring-dataset definition, a mechanism, and a release history.
Read the review →
Security and privacy · v5
Succinct Proofs, Substantial Costs: Evaluating Zero-Knowledge Systems End to End
A short proof does not imply cheap proving, a correct statement, or a complete privacy boundary.
Read the review →
Data structures and storage · v5
Approximation with a Contract: Error, Randomness, and Mergeability in Streaming Sketches
An approximate answer is useful when its error statement matches the stream, query, and merge operation.
Read the review →No reviews match these filters.