aosd paper: rest of it

* TODO: Play through it
* TODO: Fix inline TODOs