Research in Software Engineering (RiSE)
Nouvelles et reportages
Neural Program Synthesis and the Quest to Democratize Programming with Dr. Rishabh Singh
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…
MakeCode for Minecraft makes learning to code super fun
| 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…
P: A programming language designed for asynchrony, fault-tolerance and uncertainty
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.
Microsoft Research and the industrial research cycle
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…
IEEE Computer Society honors Wolfram Schulte for research leadership, contributions to program verification
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…
Prix | 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 for research and research leadership contributions that have led to major theoretical and practical advances in software verification. Read more >
Microsoft researchers explore a practical way to build 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.
Z3 wins 2015 ACM SIGPLAN Award
On Monday, June 15, Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award. This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions…