Intermittent computing requires custom programming models to ensure the correct execution of applications despite power failures. However, existing lead programs that are hardware dependent and not reusable. This article aims at virtualizing intermittent remedy these problems. We introduce PureVM, a virtual machine abstracts transiently powered computer, PureLANG, continuation-passing-style lan...