Microsoft Research's NExT group now is looking to commercialize Springfield in the form of an Azure-hosted service. (The NExT arm of Microsoft Research, which is in the midst of becoming part of a new combined AI and research group, aims to develop research technologies that ultimately will be commercialized.)
"This (service) is about finding really deep bugs that are hard to find with conventional testing," said Vikram Dendi, chief product officer with Microsoft Research NExT. "It's like time-travel debugging because it provides the ability to 'rewind' and understand better what's going on."
A number of Microsoft teams, including the Windows 7 team, have been using Springfield (which internally was known as SAGE) for years. It currently works with Windows binaries, with support for Linux coming in the future.