Data Systems · English · v1
The Price of Sorted State: Compaction, Amplification, and Value Separation
A budget-based analysis of sorted storage, deferred work, and the conditions under which value separation helps.
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
Data Systems · English · v1
Query Plans under Uncertainty: Cardinality Error, Regret, and Robust Execution
Why estimation accuracy, execution regret, and legal adaptation boundaries must be evaluated together.
Read the review →
Data Systems · English · v1
After the Power Fails: Crash Consistency and the Meaning of Durable
An observer-based durability contract, explicit persistence dependencies, and a bounded crash-state analysis.
Read the review →
Data Systems · English · v1
When a Stream Is Complete: Event Time, Watermarks, and Revisable Results
A precise contract for temporal completeness, retained state, and updates that downstream consumers can interpret.
Read the review →
Data Systems · English · v1
Skew Is the Workload: Partitioning and Direction Choice in Graph Processing
Exact graph counterexamples reveal why partition balance, traversal direction, and pipeline costs must be studied together.
Read the review →
Languages & Software · English · v1
Types at the Boundary: Gradual Guarantees, Blame, and the Cost of Enforcement
A boundary-centered account of semantic promises and nonmonotonic migration cost.
Read the review →
Languages & Software · English · v1
One Message, Two Languages: Parser Differentials as a Security Boundary
Authorization and execution must agree about the same interpreted message.
Read the review →
Languages & Software · English · v1
Maintaining a Fixed Point: Datalog, Retractions, and Incremental State
Recursive support, multiplicity and logical completion define the correctness of incremental state.
Read the review →
Languages & Software · English · v1
Programs from Counterexamples: Synthesis, Specifications, and Oracle Limits
A synthesis result is only as strong as its grammar, semantics and verification oracle.
Read the review →
Languages & Software · English · v1
From Source to Artifact: Reproducible Builds and the Limits of Provenance
Build evidence is strongest when byte equality, process claims and release policy remain distinct.
Read the review →
Security & Cryptography · English · v1
Hiding the Address: Oblivious RAM, Leakage, and the Cost of Access Privacy
A leakage-first analysis of path traffic, trusted state, and the boundaries of oblivious storage.
Read the review →
Security & Cryptography · English · v1
Permission Has a Time: Relationship-Based Authorization and Consistent Revocation
A history-based account of permission changes, content fences, cached credentials, and protected actions.
Read the review →No reviews match these filters.