The Curious Engineer

All blogs / Concurrency

Waqas Younas' blog

wyounas.github.io/wyounas.github.io

Welcome to Waqas' blog

ConcurrencyMathAlgorithms / data structures

’24’25’26
Posts
9 from 29 Oct 2024 to 26 Oct 2026
Posting
now and then (3 in the last year)
Kind
personal blog
Feed
https://wyounas.github.io/feed.xml

2026 3

  1. Finding bugs in DuckDB with property-based testing
  2. Finding All Solutions to LinkedIn Queens with a SAT Solver and Model Checkers
  3. How to Solve Santa Claus Concurrency Puzzle with a Model Checker

2025 2

  1. Reproducing the AWS Outage Race Condition with a Model Checker
  2. When the Simplest Concurrent Program Goes Against All Intuition

2024 4

  1. How concurrency works: A visual guide
  2. How Rendezvous Channels Work in PROMELA (SPIN)
  3. How Control Structures Work in PROMELA (SPIN)
  4. The Beautiful Simplicity of the Gentzen System