Research in Software Engineering (RiSE)
Nouvelles et reportages
Prix | Association for Computing Machinery
Nikolaj Bjørner, Leonardo de Moura, and Christoph Wintersteiger win SIGPLAN Programming Languages Software Award
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 to concepts, in commercial…
Energy-Efficiency Work Reaps Rewards
By Rob Knies, Managing Editor, Microsoft Research These days, more than ever, it’s important for computing to be energy-efficient. Particularly in data centers, energy requirements represent a significant portion of operational costs, and power and cooling needs help dictate where…
New Area in Microsoft Research: Looking for a RiSE in Developer Productivity
By Rob Knies, Managing Editor, Microsoft Research In the summer of 2008, the leadership at Microsoft Research Redmond reorganized an existing set of research groups with a refreshed, more encompassing mandate: reinventing all aspects of software development. The revamped area,…
Dans l’actualité | Dr. Dobbs
Microsoft Research Releases Testing Tool for Multithreaded Apps
Microsoft Research has released CHESS, an automated tool for finding errors — data-races, deadlocks, hangs, and data-corruption induced access violations — in multithreaded software by systematically exploring thread schedules. Once CHESS locates an error, it provides a fully repeatable execution…
Dans l’actualité | ZDNet
Non-Microsoft developers to get a peek at CHESS concurrency test tool
Microsoft’s CHESS, a two-year-in-the-making tool from Microsoft Research designed to help developers test for concurrency errors, is set to make its public debut in two weeks. Microsoft researchers developed CHESS to help developers improve the reliability of concurrent, multi-threaded software…