Computer scientists affiliated with France's Inria and Microsoft have devised a way to automatically turn a subset of C code ...