Work-in-Progress: Fast Snapshot Migration Using Static Code Instrumentation | IEEE Conference Publication | IEEE Xplore