david.garden

Recent Resource

Data Flow
Aug 11, 2026
CodeBase overview
Jul 09, 2026
QEMU Dev Start[youtube] notes
Jul 09, 2026

See 39 more →

Recent Project

QBOX
Jul 15, 2026
rpclib (msgpack)
Jul 14, 2026
Notes about DTS
Jun 14, 2026

See 21 more →

Recent Area

Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026
Introduction to Optimization
Aug 08, 2026
Data Flow Analysis
Aug 08, 2026
Engineer A Compiler 3rd
Aug 08, 2026

See 122 more →

❯

❯

Leslie Lamport Writing Web

Leslie Lamport Writing Web

Feb 25, 20261 min read

https://lamport.azurewebsites.net/pubs/pubs.html

Recent Resource

Data Flow
Aug 11, 2026
CodeBase overview
Jul 09, 2026
QEMU Dev Start[youtube] notes
Jul 09, 2026

See 39 more →

Recent Project

QBOX
Jul 15, 2026
rpclib (msgpack)
Jul 14, 2026
Notes about DTS
Jun 14, 2026

See 21 more →

Recent Area

Data Flow Analysis - Foundation
Aug 09, 2026
Pointer Analysis
Aug 09, 2026
Introduction to Optimization
Aug 08, 2026
Data Flow Analysis
Aug 08, 2026
Engineer A Compiler 3rd
Aug 08, 2026

See 122 more →

Graph View

Backlinks

Time, Clocks, and the Ordering of Events in a Distributed System

Created with Quartz v4.5.1 © 2026

GitHub