Overview of dead recovery data structure and models
Implementation in MARK
Implementation in RMark
Next: Joint live-dead analysis