Systems 14
- Nothing Starts Clean
- Success Means Verified
- OpenWhisk Rust Client: one API across native and Wasm environments
- ICON Bridge: messaging and token accounting on NEAR
- DIVE: making cross-chain development repeatable
- Arkeo: rearchitecting a Cosmos application
- The Scheduler: Fairness on a Finite Machine
- The Buffer Pool: Why Databases Don't Trust the OS
- The Process: How the Kernel Fakes an Entire Machine
- Pages: The Fixed-Size Bet Every Database Makes
- What Is a Database, Really? The Invariants Behind Every Query
- Crossing the Boundary: System Calls, Privilege, and the Trust Invariant
- The Contract Before the Code: What Is an Operating System, Really?
- Why Invariants Matter