Research in Software Engineering (RiSE)
新闻与深度文章
| Sumit Gulwani
It’s a big shift to change from being motivated by getting published in prestigious conferences and journals, to being motivated by solving real problems for real people. Halfway through my 18-year research career working on program synthesis–the task of automatically…
Episode 12, February 15th, 2018 – If you’ve ever wondered if you could find the perfect combination of computer scientist… and Macgyver, look no further than Dr. Peli de Halleux, principal Research Software Design Engineer at Microsoft Research. A key…
Episode 10, January 31, 2018 – We can program computers to do almost anything. But what about programming computers to… program computers? That’s a task that Dr. Rishabh Singh, and the team in the Cognition group at Microsoft Research, are…
| Peli de Halleux
A few years ago, my group in Microsoft’s research organization began to experiment with tools that make it possible for kids to learn how to code in the context of Minecraft, the wildly popular game where players build fantastical…
By Shaz Qadeer, Principal Researcher The complexity of emerging software applications requires new approaches to understanding and then efficiently building, testing and debugging these systems. Today’s software uses cloud resources, is often embedded in devices in the physical world and…
Project Catapult, a longtime research initiative on field programmable gate arrays (FPGA), received the ‘Innovation of the year’ award during the ceremony held at the Museum of Pop Culture.
By Thomas Ball, Research Manager, Research in Software Engineering (RiSE) group, Microsoft Research The industrial research cycle Here is what I have told new hires of Microsoft Research (MSR) since I became a manager some 14 years ago: MSR gives…
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…
奖项 | IEEE Computer Society
Wolfram Schulte receives the IEEE Computer Society 2016 Harlan D. Mills Award
Wolfram Schulte received the IEEE Computer Society 2016 Harlan D. Mills Award (opens in new tab) for research and research leadership contributions that have led to major theoretical and practical advances in software verification. Read more >