Eliminating State Entanglement with Checkpoint-Based Virtualization of Mobile OS Services Kevin Boos Ardalan Amiri Sani Lin Zhong.