Spike – A code editor plugin highlighting fine-grained changes | IEEE Conference Publication | IEEE Xplore