🔓 Lock-Free Structures - linearizable · Scour

Communication Requirements for Linearizable Registers ⚡Hardware Transactional Memory

arxiv.org·3d

Fast CASPaxos 🤝Paxos Consensus

reubenbond.github.io·2d·Hacker News

SHARP: Shared State Reduction for Efficient Matching of Sequential Patterns 🌸Bloom Filters

vldb.org·2d

Expanders Meet Reed--Muller: Easy Instances of Noisy k-XOR 🧮SMT Solvers

eprint.iacr.org·5d

Matrix-matrix multiplication, from less conventional points of view: 🗂️Vector Indexes

okmij.org·4d·Hacker News

Borrow-checking surprises 🔧Linkers

scattered-thoughts.net·4d·Lobsters, Hacker News

the value of a performance oracle ⚙️Mechanical Sympathy

wingolog.org·3d·Lobsters, Hacker News

ArceKV: Towards Workload-driven LSM-compactions for Key-Value Store Under Dynamic Workloads 🌳LSM Trees

vldb.org·2d

Evaluating PQC KEMs, Combiners, and Cascade Encryption via Adaptive IND-CPA Testing Using Deep Learning 🤝Paxos Consensus

eprint.iacr.org·2d

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes 🔄Eventual Consistency

arxiv.org·2d

Learned Static Function Data Structures 🧮Constraint Solvers

vldb.org·2d

Mergeable SNARGs for Trapdoor Languages and Their Applications 🔗WCOJ

eprint.iacr.org·3d

Determinacy with Priorities up to Clocks 🔄Eventual Consistency

arxiv.org·2d

SPLASH: SPeculative Leakage-Adaptive Secure Hardware ⚙️Mechanical Sympathy

eprint.iacr.org·4d

MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation 🤝Paxos Consensus

arxiv.org·1d

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code 📐TLA+

eprint.iacr.org·4d

Nexus: Transparent I/O Offloading for High-Density Serverless Computing 🔗RDMA

arxiv.org·2d

Verifiable Divide-and-Conquer 🧮SMT Solvers

eprint.iacr.org·5d

Contextual Chain: Single-State Ledger Design for Mobile/IoT Networks with Frequent Partitions 🤝Consensus Protocols

arxiv.org·2d

VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems 🧮SMT Solvers

eprint.iacr.org·3d

Loading more...