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…
Today, October 29, 2013, the Microsoft Research Connections Computer Science Group—in conjunction with the Research in Software Engineering Group (RiSE), the Sensing and Energy Research Group, and Global Foundation Services—is officially issuing the request for proposals for the Software Engineering Innovation Foundation (SEIF) 2014 awards.…
Tweet Posted by Rob Knies What if they held a programming competition involving hundreds of teams—and everybody won?That might seem improbable, but when viewed through the prism of the contest’s value to its participants, that was precisely what happened during the ICFP Programming Contest 2013.Four…
Each year, the Software Engineering Innovation Foundation (SEIF) awards US$25,000 grants to support academic research in software engineering technologies, tools, practices, and teaching methods. SEIF is supported by Microsoft Research Connections Computer Science in conjunction with the Research in Software Engineering Group (RiSE). This year,…
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,…
