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.
阅读研究导读 →AUTURNAL / RESEARCH LIBRARY / 2026.10从智能到发现，
从智能到发现，
深入研究的核心。
170篇中英文研究综述，连接一手文献、数学模型与可核查的证据。
170篇导读526项来源510幅插画与图解
THE RESEARCH COLLECTION
深入研究
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
Languages & Software · English · v1
One Message, Two Languages: Parser Differentials as a Security Boundary
Authorization and execution must agree about the same interpreted message.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →
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.
阅读研究导读 →没有符合筛选条件的文章。