Citing 25 years of significant impact on software engineering research, the IEEE Computer Society Technical Council on Software Engineering has awarded Microsoft Research the 2016 TCSE Distinguished Synergy Award. The award was presented Thursday, May 19, at the International Conference on Software Engineering in Austin,…
By George Thomas Jr., Writer, Microsoft Software verification — the crucial process of assuring programs perform as expected — may not be top of mind for most of us. But considering its role in the development of just about anything based on software — which…
There is a saying dating back to the days of punched cards that "the software is in the holes"—and therefore invisible. At the recent Microsoft Research Software Summit in Paris, software was anything but invisible. It was all around us and manifest in the smartphones, gadgets,…
What could be better than Paris on a spring day? How about Paris on a spring day at the inaugural Software Summit sponsored by Microsoft Research? Yes, I'm here at the Microsoft Le Campus in Issy-les-Moulineaux, just southwest of central Paris, along with more than…
