Checkpointing integration of Themis into dissertation