By Douglas Gantenbein, Senior Writer, Microsoft News Center In December 2009, Sumit Gulwani, a senior researcher at Microsoft Research Redmond, was flying home from a seminar after presenting his work devising ways to synthesize complex pieces of code. Sitting next to him was a businesswoman.…
I WANT YOU…. Anyone who grew up in the United States, as I did, is familiar with the famous World War II recruiting poster of Uncle Sam exhorting young Americans to enlist in the armed forces. (No, I wasn’t alive then, but the poster is…
Arrivederci, Roma: As the 40th ACM Principles of Programming Languages conference (POPL 2013) drew to a close on Friday, January 25, 2013, I was struck by how much it was a celebration of excellence, and I was pleased that Microsoft Research could play a big…
Posted by Rob Knies You’ve no doubt experienced that sinking feeling—we all have—after taking a photo and realizing that you pressed the shutter release just a bit too late. The moment is gone, the action elusive, the opportunity squandered. It’s frustrating, but what can you…
Powerful Research Tools Shared at the American Geophysical Union Fall Meeting We love our jobs at Microsoft Research, and a big part of that is about how much we love physics and technology. And chocolate. Consider: if you place helium in a (well-made) bag and…
Snow fell across the United Kingdom on January 18, 2013, but it was not about to deter some of Microsoft Research’s leading visionaries from making their way from the brand new Cambridge lab down to University College London (UCL). They headed to UCL for a…
Top headliners on the Las Vegas strip might include Celine Dion, Penn and Teller, and Carrot Top, but from our perspective, they’ve got nothing on the Vegas premiers of such CCNC Mobile Code Jam stars as BlueWay and Fling-It. That’s right: during the second week…
Posted by Rob Knies The Symposium on Principles of Programming Languages (POPL) is an annual gathering of thought leaders from around the world to discuss all aspects of programming languages and systems, so it is a given that as the 40th instance of the event…
Today, we are excited to announce the latest release of Try F#, a set of resources that makes it easy to learn and program with F# in your browser. It’s available over a wide range of platforms and doesn’t require a download of Microsoft Visual…
Posted by Eric Horvitz and Yi-Min Wang, managing co-directors of Microsoft Research Redmond As we look back on the year at Microsoft Research Redmond, a flood of creative efforts and achievements come to mind. These include mission-focused pursuits aimed at solving urgent challenges, the…
Once again, you’ve voted with your clicks and we’ve tallied the results. So…drumroll, please…here are the top 10 Microsoft Research Connections blogs of 2012. Number 10: Try Try F#Who can resist such a redundantly titled post—especially when it offers information on how to get a…
Posted by Surajit Chaudhuri, managing director of the eXtreme Computing Group 2012 has been a year of significant developments for the eXtreme Computing Group (XCG), from changes in its organizational structure to project milestones we reached. One year ago, XCG had several teams with…
Meet our community of researchers, learn about exciting research topics, and grow your network
Ongoing conversations at the cutting edge of research
Join us for a continuous exchange of ideas about research in the era of general AI
