Algorithms

Building A Custom Risc V Processor In Verilog: Pipelining, Hazard Detection, And Branch Prediction · 2020-10-28
A comprehensive technical exploration of building a custom risc v processor in verilog: pipelining, hazard detection, and branch prediction, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into The X86 64 Instruction Set: Microbenchmarking Instruction Latency And Throughput · 2020-10-04
A comprehensive technical exploration of a deep dive into the x86 64 instruction set: microbenchmarking instruction latency and throughput, covering key concepts, practical implementations, and real-world applications.
Implementing A Simd Accelerated Suffix Array Construction For Large Genomic Datasets · 2020-10-01
A comprehensive technical exploration of implementing a simd accelerated suffix array construction for large genomic datasets, covering key concepts, practical implementations, and real-world applications.
The Performance Of Bit Packed Data Structures Vs. Classic Arrays In High Performance Computing · 2020-09-27
A comprehensive technical exploration of the performance of bit packed data structures vs. classic arrays in high performance computing, covering key concepts, practical implementations, and real-world applications.
Designing A Linear Time Algorithm For Constructing A Prefix Automaton For Multiple Patterns: Aho Corasick · 2020-09-25
A comprehensive technical exploration of designing a linear time algorithm for constructing a prefix automaton for multiple patterns: aho corasick, covering key concepts, practical implementations, and real-world applications.
An Analysis Of Register Allocation Via Graph Coloring: Chaitin Briggs Algorithm With Live Range Splitting · 2020-09-17
A comprehensive technical exploration of an analysis of register allocation via graph coloring: chaitin briggs algorithm with live range splitting, covering key concepts, practical implementations, and real-world applications.
Building A Just In Time Compiler For Regular Expressions: Thompson’S Construction And Dfa Minimization · 2020-09-17
A comprehensive technical exploration of building a just in time compiler for regular expressions: thompson’s construction and dfa minimization, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Garbage Collector For A Functional Language: Cheney’S Algorithm And Generational Copying · 2020-09-16
A comprehensive technical exploration of the implementation of a garbage collector for a functional language: cheney’s algorithm and generational copying, covering key concepts, practical implementations, and real-world applications.
Designing A Type System For Dependently Typed Programming: Agda’S Universe Hierarchy And Pattern Matching · 2020-09-03
A comprehensive technical exploration of designing a type system for dependently typed programming: agda’s universe hierarchy and pattern matching, covering key concepts, practical implementations, and real-world applications.
A Proof Of Correctness For The Lamport’S Bakery Algorithm In Distributed Shared Memory Systems · 2020-08-28
A comprehensive technical exploration of a proof of correctness for the lamport’s bakery algorithm in distributed shared memory systems, covering key concepts, practical implementations, and real-world applications.
The Formal Verification Of A Concurrent Work Queue Using The Tla+ Model Checker: Invariants And Liveness · 2020-08-10
A comprehensive technical exploration of the formal verification of a concurrent work queue using the tla+ model checker: invariants and liveness, covering key concepts, practical implementations, and real-world applications.
Implementing A Small Theorem Prover For Propositional Logic Using The Dpll Algorithm With Conflict Driven Clause Learning · 2020-08-09
A comprehensive technical exploration of implementing a small theorem prover for propositional logic using the dpll algorithm with conflict driven clause learning, covering key concepts, practical implementations, and real-world applications.
The Algorithmic Methodology Of Coq Proof Assistant: Inductive Types, Tactics, And Extraction To Ocaml · 2020-08-08
A comprehensive technical exploration of the algorithmic methodology of coq proof assistant: inductive types, tactics, and extraction to ocaml, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Certificate Transparency Log Using Merkle Trees And Append Only Proofs · 2020-07-31
A comprehensive technical exploration of building a distributed certificate transparency log using merkle trees and append only proofs, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into Merkle Damgård Vs. Sponge Construction For Hash Functions: Sha 256 And Sha 3 · 2020-07-24
A comprehensive technical exploration of a deep dive into merkle damgård vs. sponge construction for hash functions: sha 256 and sha 3, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Secure Channel Protocol Using Noise Framework: Handshake Patterns And State Machine · 2020-07-11
A comprehensive technical exploration of the implementation of a secure channel protocol using noise framework: handshake patterns and state machine, covering key concepts, practical implementations, and real-world applications.
Designing A Key Management Service For Distributed Systems Using Shamir’S Secret Sharing With Homomorphic Properties · 2020-07-02
A comprehensive technical exploration of designing a key management service for distributed systems using shamir’s secret sharing with homomorphic properties, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of Differential Privacy: Laplace And Gaussian Mechanisms For User Level Privacy · 2020-06-29
A comprehensive technical exploration of a rigorous analysis of differential privacy: laplace and gaussian mechanisms for user level privacy, covering key concepts, practical implementations, and real-world applications.
Building A Password Hashing Function With Memory Hardness: Scrypt And Argon2 Internals · 2020-06-29
A comprehensive technical exploration of building a password hashing function with memory hardness: scrypt and argon2 internals, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Lattice Based Cryptography: Learning With Errors, Ring Lwe, And Ntru · 2020-06-14
A comprehensive technical exploration of the mathematics of lattice based cryptography: learning with errors, ring lwe, and ntru, covering key concepts, practical implementations, and real-world applications.
Implementing A Side Channel Attack Resistant Rsa Implementation Using Montgomery Ladder And Blinding · 2020-06-05
A comprehensive technical exploration of implementing a side channel attack resistant rsa implementation using montgomery ladder and blinding, covering key concepts, practical implementations, and real-world applications.
A Detailed Look At The Tls 1.3 Handshake Protocol: Key Schedule, 0 Rtt, And Forward Secrecy · 2020-06-01
A comprehensive technical exploration of a detailed look at the tls 1.3 handshake protocol: key schedule, 0 rtt, and forward secrecy, covering key concepts, practical implementations, and real-world applications.
Designing A Verifiable Random Function (Vrf) For Leader Election In Proof Of Stake Blockchains · 2020-05-17
A comprehensive technical exploration of designing a verifiable random function (vrf) for leader election in proof of stake blockchains, covering key concepts, practical implementations, and real-world applications.
The Performance Of Elliptic Curve Cryptography Vs. Rsa For Key Exchange And Signatures On Constrained Devices · 2020-05-08
A comprehensive technical exploration of the performance of elliptic curve cryptography vs. rsa for key exchange and signatures on constrained devices, covering key concepts, practical implementations, and real-world applications.