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.
Leer la revisión →AUTURNAL / RESEARCH LIBRARY / 2026.10De la inteligencia
De la inteligencia
al descubrimiento.
170 revisiones en chino e inglés que conectan estudios primarios, modelos matemáticos y evidencia verificable.
170guías526fuentes primarias510ilustraciones y gráficos
THE RESEARCH COLLECTION
Explorar la investigación
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
Languages & Software · English · v1
One Message, Two Languages: Parser Differentials as a Security Boundary
Authorization and execution must agree about the same interpreted message.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →
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.
Leer la revisión →Ninguna reseña coincide con estos filtros.