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.
قراءة المراجعة ←لا توجد مراجعات تطابق عوامل التصفية.