Microsoft researchers explore a practical way to build bug-free software

Microsoft researchers explore a practical way to build bug-free software

Posted by Allison Linn

IronFleet: Building bug-free software

Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.

“Program verification has been a holy grail for computer science for 40 or 50 years,” said Bryan Parno, a Microsoft researcher who is one of the co-authors of a forthcoming paper on the project.

The researchers caution that we are still far from a world in which large computer programs, such as complex operating systems, could realistically be built in a way that is guaranteed to be free of bugs.

…(read more)

Microsoft researcher Don Syme honored with Silver Medal from Royal Academy of Engineering

Microsoft researcher Don Syme honored with Silver Medal from Royal Academy of Engineering

Posted by George Thomas Jr.

RAE Silver Medal for Syme

Many programmers recognize Don Syme's name, but even more are influenced daily by his research and development. After all, Syme, a principal researcher in Microsoft's Cambridge, U.K., lab, has helped to develop and influence features of popular computer languages used by millions of programmers, C# in particular.

And soon Syme will get a new form of recognition: This month the Royal Academy of Engineering named Syme one of three winners of the prestigious Silver Medal for 2015.

…(read more)