Automatically enforcing fresh and consistent inputs in intermittent systems.

Milijana Surbatovich, Limin Jia, Brandon Lucia

Browse the full PLDI paper archive.