Theory

• The Complexity Of The Vector Clock Algorithm For Causal Ordering And Garbage Collection · 2023-04-02

  A comprehensive technical exploration of the complexity of the vector clock algorithm for causal ordering and garbage collection, covering key concepts, practical implementations, and real-world applications.

• A Rigorous Proof Of The Chandy Lamport Distributed Snapshot Algorithm For Channel State Capture · 2023-04-01

  A comprehensive technical exploration of a rigorous proof of the chandy lamport distributed snapshot algorithm for channel state capture, covering key concepts, practical implementations, and real-world applications.

• Building A Distributed Actor Framework On Top Of Tcp: Messaging, Supervision, And Location Transparency · 2023-04-01

  A comprehensive technical exploration of building a distributed actor framework on top of tcp: messaging, supervision, and location transparency, covering key concepts, practical implementations, and real-world applications.

• Searchable Encryption: Querying Encrypted Databases, Forward Privacy, and the Leakage-Abuse Frontier · 2023-03-31

  An in-depth analysis of symmetric searchable encryption from Curtmola et al. through forward privacy, leakage-abuse attacks, and the modern systems that balance security with performance.

• The Algebraic Model Of The Actor Model: Mailboxes, Behavior, And Fail Silent Vs. Fail Stop Semantics · 2023-03-08

  A comprehensive technical exploration of the algebraic model of the actor model: mailboxes, behavior, and fail silent vs. fail stop semantics, covering key concepts, practical implementations, and real-world applications.

• The Implementation Of A User Space Thread Library In Rust: Stack Allocation, Cooperative Yielding, And I/O Reactors · 2023-03-04

  A comprehensive technical exploration of the implementation of a user space thread library in rust: stack allocation, cooperative yielding, and i/o reactors, covering key concepts, practical implementations, and real-world applications.

• Format-Preserving Encryption: The FFX Mode, Rank-Encipher-Unrank, and Legacy Database Protection · 2023-02-25

  A technical deep dive into FPE: the Feistel-based FFX mode with AES, the rank-encipher-unrank construction, and practical applications in encrypting legacy databases and tokenization systems without breaking schemas.

• A Deep Dive Into The Linux Completely Fair Scheduler (Cfs): Red Black Tree, Virtual Runtime, And Group Scheduling · 2023-02-19

  A comprehensive technical exploration of a deep dive into the linux completely fair scheduler (cfs): red black tree, virtual runtime, and group scheduling, covering key concepts, practical implementations, and real-world applications.

• Designing A Cache Coherent Non Uniform Memory Access (Ccnuma) Simulator For Algorithm Evaluation · 2023-02-05

  A comprehensive technical exploration of designing a cache coherent non uniform memory access (ccnuma) simulator for algorithm evaluation, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Hardware Transactional Memory On Intel Haswell: Profiling Of Conflict Aborts And Commit Latency · 2023-02-04

  A comprehensive technical exploration of the performance of hardware transactional memory on intel haswell: profiling of conflict aborts and commit latency, covering key concepts, practical implementations, and real-world applications.

• Threshold Cryptography: Distributed Key Generation, Threshold ECDSA, and the Validator Use Case · 2023-02-03

  A rigorous look at threshold cryptography from Shamir secret sharing through GJKR distributed key generation to modern threshold ECDSA and BLS signatures for blockchain validators.

• Building A Concurrency Testing Framework Using Shashki’S Deterministic Replay And Schedule Reduction · 2023-01-30

  A comprehensive technical exploration of building a concurrency testing framework using shashki’s deterministic replay and schedule reduction, covering key concepts, practical implementations, and real-world applications.

• The Formal Semantics Of The Go Memory Model: Happens Before, Data Races, And Synchronization Primitives · 2023-01-25

  A comprehensive technical exploration of the formal semantics of the go memory model: happens before, data races, and synchronization primitives, covering key concepts, practical implementations, and real-world applications.

• Verifiable Delay Functions: Wesolowski, Pietrzak, and the Sequentiality Assumption · 2023-01-21

  An exploration of VDFs from their cryptographic foundations through practical constructions, with emphasis on randomness beacons, blockchain consensus, and the sequential computation lower bounds.

• Oblivious RAM and Private Information Retrieval: Hiding Access Patterns from the Storage Server · 2023-01-10

  A comprehensive tour of ORAM and PIR: the square-root construction, tree-based Path ORAM, computational and information-theoretic PIR schemes, and the fundamental lower bounds that constrain the overhead.

• Implementing A Non Blocking Universal Construction (Herlihy’S Method) Using Compare And Swap And Help First · 2023-01-08

  A comprehensive technical exploration of implementing a non blocking universal construction (herlihy’s method) using compare and swap and help first, covering key concepts, practical implementations, and real-world applications.

• A Comprehensive Comparison Of Lock Free And Wait Free Data Structures: Definitions, Progress Conditions, And Examples · 2023-01-07

  A comprehensive technical exploration of a comprehensive comparison of lock free and wait free data structures: definitions, progress conditions, and examples, covering key concepts, practical implementations, and real-world applications.

• Designing A Consistent Hashing With Load Bounds: Google’S Maglev Hasher And Its Use In Load Balancing · 2022-12-31

  A comprehensive technical exploration of designing a consistent hashing with load bounds: google’s maglev hasher and its use in load balancing, covering key concepts, practical implementations, and real-world applications.

• The Theory Of Capacity Aware Load Balancing: Power Of Two Random Choices Vs. Join Shortest Queue · 2022-12-30

  A comprehensive technical exploration of the theory of capacity aware load balancing: power of two random choices vs. join shortest queue, covering key concepts, practical implementations, and real-world applications.

• Building A Distributed Monitor For System Health: Heartbeat, Failure Detection, And Log Collection With Kafka · 2022-12-26

  A comprehensive technical exploration of building a distributed monitor for system health: heartbeat, failure detection, and log collection with kafka, covering key concepts, practical implementations, and real-world applications.

• Multi-Party Computation: From Yao's Garbled Circuits to the SPDZ Line · 2022-12-26

  A deep exploration of secure multi-party computation, tracing the intellectual arc from Yao's millionaires' problem through the SPDZ practical framework, with full protocol detail and modern applications.

• Implementing A Lock Free Memory Pool With Epoch Based Reclamation For Hazard Pointer Mitigation · 2022-12-14

  A comprehensive technical exploration of implementing a lock free memory pool with epoch based reclamation for hazard pointer mitigation, covering key concepts, practical implementations, and real-world applications.

• The Performance Of Gpu Stream Assisted Asynchronous Multiplications For Deep Neural Networks · 2022-12-09

  A comprehensive technical exploration of the performance of gpu stream assisted asynchronous multiplications for deep neural networks, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Cuda Thread Hierarchy And Memory Model: Global, Shared, Local, And Uniform · 2022-11-21

  A comprehensive technical exploration of a deep dive into the cuda thread hierarchy and memory model: global, shared, local, and uniform, covering key concepts, practical implementations, and real-world applications.