{"id":2033,"date":"2012-03-28T13:15:00","date_gmt":"2012-03-28T13:15:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/msr_er\/2012\/03\/28\/innovation-in-software-research-recognized-in-2012-seif-awards\/"},"modified":"2016-07-20T07:33:01","modified_gmt":"2016-07-20T14:33:01","slug":"innovation-in-software-research-recognized-in-2012-seif-awards","status":"publish","type":"post","link":"https:\/\/www.microsoft.com\/en-us\/research\/blog\/innovation-in-software-research-recognized-in-2012-seif-awards\/","title":{"rendered":"Innovation in Software Research Recognized in 2012 SEIF Awards"},"content":{"rendered":"

\"Microsoft (opens in new tab)<\/span><\/a>Today, research in software engineering encompasses a wide range of computer science and engineering disciplines. These include systems and networking technologies, hardware design, programming languages, security, and privacy, to name a few. Microsoft Research actively engages with researchers across these disciplines to advance the state of the art in software engineering applications and tools. The areas of mobile and cloud computing are of particular recent interest, and are where some of the most exciting and innovative work is being done. Today smartphones and cloud services, are being used in complex scenarios pushing the envelope of what software can do. The design of such scenarios introduces challenges unique to this new paradigm.<\/span><\/p>\n

The Microsoft Research Software Engineering Innovation Foundation (SEIF), a forum for collaboration among software engineers worldwide, presents its annual awards to promote these efforts. The SEIF awards provide seed funding to innovative research in software engineering, recognizing projects that aim to advance the state of art in software engineering. <\/span>
 
Now in its third year, SEIF is pleased to announce the winners of the SEIF 2012 request for proposals. This year, the awards have focused on the application of software engineering to mobile and cloud computing.<\/span><\/p>\n

As in past years, SEIF winners are spread across the world—with projects as diverse as their backgrounds. For instance, Harald Gall (opens in new tab)<\/span><\/a> of the University of Zurich plans to create a collaborative tool that uses Microsoft Team Foundation Server (opens in new tab)<\/span><\/a> to assess software quality. Mayur Naik (opens in new tab)<\/span><\/a> of Georgia Tech plans to develop an automated test-generation methodology for mobile apps, doing so by advancing a program analysis technique called dynamic symbolic execution while making heavy use of the Microsoft Z3 (opens in new tab)<\/span><\/a> automated theorem prover. Arno Puder (opens in new tab)<\/span><\/a> from San Francisco State University intends to develop a toolkit called XMLVM (opens in new tab)<\/span><\/a>, which can cross-compile a commercially available Android application to Windows Phone 7. Unusually, we have two awards going to the same institution this year. Alexey Gotsman (opens in new tab)<\/span><\/a> from IMDEA in Spain will be working on a project to specify and validate memory models for Windows Phone. Mark Marron (opens in new tab)<\/span><\/a>, also at IMDEA, Spain, will be working on finding and fixing memory usage problems.<\/span><\/p>\n

These are just a sample of the innovative software engineering projects recognized by this year’s awards. You can read more about them and the rest of the SEIF winners on the SEIF website (opens in new tab)<\/span><\/a>.<\/span><\/p>\n

Congratulations to the 2012 winners!<\/span><\/p>\n

—Arjmand Samuel (opens in new tab)<\/span><\/a>, Senior Research Program Manager, and Judith Bishop (opens in new tab)<\/span><\/a>, Director of Computer Science, Microsoft Research Connections<\/em><\/span><\/p>\n

Learn More<\/strong><\/span><\/p>\n