Technical 25
- AFix: Automated Atomicity-Violation Fixing
- Hybrid Race Detection: Lockset, Checked Against Just Enough Happens-Before
- The range of verification techniques: from model checking to interactive proof
- ExVerus: Counterexample-Guided Verus Proof Repair
- LOOM: Bypassing Races in Live Applications with Execution Filters
- PAT-Agent: Autoformalization for Model Checking
- Agentic Model Checking
- Proving "No Memory Errors": Frama-C vs. Anthropic's Binary-Level Verification
- Automated Lemma Discovery in Agentic Program Verification (LemmaNet)
- Agentic Verification of Software Systems (AutoRocq)
- Proof Solving in Rocq: From First Proofs to Advanced Tactics
- RaceFuzzer: Don't Guess Whether a Race Is Real, Make It Happen
- REINS: Letting an LLM Write the Schedule, Not Run It
- Eraser: Finding Data Races by Lockset Analysis
- Can AI Write a Formal Model of a Real System? Notes on SysMoBench
- Concurrency - Basics, Bug Types, Root Causes, & Fixes
- What is Concurrency?
- Setup: New VM with Cloudflare Tunnel Access for a Student
- SSH Practical Tutorial
- Registry Pattern Tutorial
- Intra-Cluster Jumps on GCP VMs with Internal IPs
- Tmux Quick Guide
- Gemini Claude Code
- Claude Stack
- Welcome to my blog