Theory

• Designing A Task Based Parallelism Runtime: Openmp Tasks, Dependencies, And Scheduling Algorithm · 2022-11-12

  A comprehensive technical exploration of designing a task based parallelism runtime: openmp tasks, dependencies, and scheduling algorithm, covering key concepts, practical implementations, and real-world applications.

• The Complexity Of Markov Decision Processes: Value Iteration Vs. Policy Iteration With Optimistic Initialization · 2022-11-10

  A comprehensive technical exploration of the complexity of markov decision processes: value iteration vs. policy iteration with optimistic initialization, covering key concepts, practical implementations, and real-world applications.

• Analytic Combinatorics: The Symbolic Method, Generating Functions, and Average-Case Algorithm Analysis · 2022-11-09

  A rigorous exploration of analytic combinatorics—the symbolic method for deriving generating functions, singularity analysis, saddle-point asymptotics, and applications to average-case analysis of algorithms and random structures.

• From Lru To Arc: A Technical Survey Of Cache Eviction Policies And Their Performance In Web Scale Distributed Caches · 2022-10-30

  A comprehensive technical exploration of cache eviction policies, from LRU to ARC, covering their performance in web-scale distributed caches, key concepts, practical implementations, and real-world applications.

• A Rigorous Analysis Of The Texas Hold’Em Poker Endgame: Nash Equilibrium And Cfr+ (Counterfactual Regret Minimization) · 2022-10-28

  A comprehensive technical exploration of a rigorous analysis of the texas hold’em poker endgame: nash equilibrium and cfr+ (counterfactual regret minimization), covering key concepts, practical implementations, and real-world applications.

• Implementing A Persistent Memory Log With Concurrency And Fault Recovery Across System Crashes · 2022-10-26

  A comprehensive technical exploration of implementing a persistent memory log with concurrency and fault recovery across system crashes, covering key concepts, practical implementations, and real-world applications.

• Additive Combinatorics: Szemerédi's Theorem, Sumset Inequalities, and Applications in Property Testing · 2022-10-25

  A rigorous exploration of additive combinatorics—Szemerédi's theorem on arithmetic progressions, Plünnecke-Ruzsa inequalities, the Balog-Szemerédi-Gowers theorem, and their applications in property testing and pseudorandomness.

• The Algorithm Of The Buddy Memory Allocation System: Binary Trees And O(1) Free Block Coalescing · 2022-10-20

  A comprehensive technical exploration of the algorithm of the buddy memory allocation system: binary trees and o(1) free block coalescing, covering key concepts, practical implementations, and real-world applications.

• Building A Custom Memory Allocator With Size Classes, Thread Caching, And Segregated Lists (Tcmalloc) · 2022-10-17

  A comprehensive technical exploration of building a custom memory allocator with size classes, thread caching, and segregated lists (tcmalloc), covering key concepts, practical implementations, and real-world applications.

• Designing A Buffer Pool With Prefetching And Replacement Policies: Statistical Lru, Fbr, And Lirs · 2022-10-17

  A comprehensive technical exploration of designing a buffer pool with prefetching and replacement policies: statistical lru, fbr, and lirs, covering key concepts, practical implementations, and real-world applications.

• Combinatorial Designs and Coding Theory: Block Designs, Steiner Systems, and Finite Geometry · 2022-10-10

  An exploration of combinatorial design theory—block designs, Steiner systems, finite projective planes—and their deep connections to error-correcting codes and experimental design.

• The Performance Of Memory Mapping Vs. Traditional Read/Write For Database Files On Modern Nvme Drives · 2022-10-10

  A comprehensive technical exploration of the performance of memory mapping vs. traditional read/write for database files on modern nvme drives, covering key concepts, practical implementations, and real-world applications.

• A Deep Dive Into The Sha 3 Sponge Construction: Keccak F Permutation, Padding, And Security Margins · 2022-09-26

  A comprehensive technical exploration of a deep dive into the sha 3 sponge construction: keccak f permutation, padding, and security margins, covering key concepts, practical implementations, and real-world applications.

• Tropical Geometry: Algorithmic Applications in Optimization, Phylogenetics, and Deep Learning · 2022-09-15

  A rigorous exploration of tropical geometry—the min-plus semiring, tropical varieties, and the unexpected connections between algebraic geometry and combinatorial algorithms.

• Implementing A Fully Homomorphic Encryption Scheme With Boosted Bootstrapping (Fhew/Tfhe) · 2022-09-11

  A comprehensive technical exploration of implementing a fully homomorphic encryption scheme with boosted bootstrapping (fhew/tfhe), covering key concepts, practical implementations, and real-world applications.

• The Complexity Of Lattice Reduction For Lwe: Basis Reduction Algorithms Bkz And G6K · 2022-08-31

  A comprehensive technical exploration of the complexity of lattice reduction for lwe: basis reduction algorithms bkz and g6k, covering key concepts, practical implementations, and real-world applications.

• Building A Side Channel Secure Elliptic Curve Scalar Multiplication Using Montgomery Ladder · 2022-08-26

  A comprehensive technical exploration of building a side channel secure elliptic curve scalar multiplication using montgomery ladder, covering key concepts, practical implementations, and real-world applications.

• Algebraic Geometry in Computer Science: Gröbner Bases, the Nullstellensatz, and Applications in Cryptography and Coding Theory · 2022-08-21

  A rigorous exploration of how algebraic geometry—Gröbner bases, Hilbert's Nullstellensatz, and elliptic curves—powers modern cryptography, error-correcting codes, and complexity theory.

• A Detailed Look At The Openssl Implementation Of Aes: Key Schedule, S Box, And Counter Mode · 2022-08-20

  A comprehensive technical exploration of a detailed look at the openssl implementation of aes: key schedule, s box, and counter mode, covering key concepts, practical implementations, and real-world applications.

• Designing A Distributed Sequential Consistency Model With Virtual Synchrony And Views · 2022-08-20

  A comprehensive technical exploration of designing a distributed sequential consistency model with virtual synchrony and views, covering key concepts, practical implementations, and real-world applications.

• The Implementation Of A Multi Leader Replication System: Conflict Avoidance With Linked Lists And Last Writer Wins · 2022-08-13

  A comprehensive technical exploration of the implementation of a multi leader replication system: conflict avoidance with linked lists and last writer wins, covering key concepts, practical implementations, and real-world applications.

• A Rigorous Proof Of The Abortable Consensus In A Crash Recovery Model Using Non Blocking Atomic Commit · 2022-08-10

  A comprehensive technical exploration of a rigorous proof of the abortable consensus in a crash recovery model using non blocking atomic commit, covering key concepts, practical implementations, and real-world applications.

• Building A Conflict Free Replicated Data Type For Counters And Sets In Riak: Pn Counters, G Sets, And Lww Registers · 2022-08-09

  A comprehensive technical exploration of building a conflict free replicated data type for counters and sets in riak: pn counters, g sets, and lww registers, covering key concepts, practical implementations, and real-world applications.

• Designing A Scalable State Machine Replication Library: Multi Paxos With Reconfiguration And Joint Consensus · 2022-07-31

  A comprehensive technical exploration of designing a scalable state machine replication library: multi paxos with reconfiguration and joint consensus, covering key concepts, practical implementations, and real-world applications.