Waqas Younas' blog
Menu
About
Articles
RSS
Articles
A collection of blog posts covering software, technology, and other topics that interest me.
How to Solve Santa Claus Concurrency Puzzle with a Model Checker
Jan 10, 2026
Reproducing the AWS Outage Race Condition with a Model Checker
Oct 30, 2025
When the Simplest Concurrent Program Goes Against All Intuition
Jan 13, 2025
How concurrency works: A visual guide
Dec 12, 2024
How Rendezvous Channels Work in PROMELA (SPIN)
Nov 18, 2024
How Control Structures Work in PROMELA (SPIN)
Nov 10, 2024
The Beautiful Simplicity of the Gentzen System
Oct 29, 2024