Der deutsche Education Blog

Microsoft Research Connections Blog

The Microsoft Research Connections blog shares stories of collaborations with computer scientists at academic and scientific institutions to advance technical innovations in computing, as well as related events, scholarships, and fellowships.

  • Microsoft Research Connections Blog

    2014 Microsoft Research Awards for SEIF announced

    • 0 Comments

    Microsoft Research Awards for the Software Engineering Innovations Foundation (SEIF Awards)With the announcement of the 2014 winners of the Microsoft Research Awards for the Software Engineering Innovations Foundation (SEIF), I can’t help but reflect on the depth and breadth of research supported by Microsoft Research. Over the past few years, SEIF has not only sponsored research into core software engineering challenges but has also funded investigations into software engineering’s applications in mobile and cloud computing and natural user interface (NUI). This year was no exception to the this emphasis on depth and breadth: for 2014, SEIF invited proposals addressing core software engineering challenges as well as those that delving into the application of software engineering to the Internet of Things and large-scale cloud infrastructure. These latter two areas were explored as a partnership between Lab of Things and Global Foundation Services, respectively.

    Before I reveal the 2014 winners, let me say a bit about the diversity and quality of the proposals. We received 129 proposals, coming from nearly 30 countries and every continent (okay, except Antarctica). SEIF has truly become an internationally recognized program! Some 70 reviewers from across Microsoft conducted an internal review of the proposals, all of which were of exceedingly high quality. It was extremely difficult to choose the 12 winning projects, each of which will receive funding of US$40,000.

    Here, then, are the 2014 recipients of this Microsoft Research Award:

    • Linking Constructive and Analytical Software Verification
      Michael Butler, University of Southampton
    • Script Synthesis through Examples
      Ruzica Piskac, Yale University
    • Dependency Aware Sharing of the Internet of Things for Integrating Apps in Smart Homes
      Jack Stankovic, University of Virginia
    • Teaching Software Engineering to the Masses with TouchDevelop
      Alessandro Orso, Georgia Institute of Technology
    • Improving Datacenter Efficiency and Total Cost of Ownership with Differentiated Software Reliability Analysis and Techniques
      Onur Mutlu, Carnegie Mellon University
    • Resource Efficient Cloud Computing
      Christoforos Kozyrakis, Stanford University
    • Augmenting Testing with Performance-Aware Behavioral Models
      Yuriy Brun, University of Massachusetts Amherst
    • Kinect-based Training to Improve Balance, Mobility, and Quality of Life in Patients with Parkinson’s Disease
      Jeffrey Haddad, Purdue University
    • A Spreadsheet Model for End-User Programming with Probabilistic Data
      Scott Hudson, Carnegie Mellon University
    • Systematic Analysis of User Reviews and Usage Data for Windows Mobile Apps
      Walid Maalej, University of Hamburg
    • CoolProvision: Provisioning of Cooling Systems for Datacenters
      Thu Nguyen, Rutgers University
    • Reliable and Resilient Microgrids for Data Centers
      Reinaldo Tonkoski and Wei Sun,
      South Dakota State University

    Congratulations to the 2014 winners of this Microsoft Research Award! See the winners on the SEIF page.

    Arjmand Samuel, Senior Research Program Manager, Microsoft Research Connections

    Learn more

  • Microsoft Research Connections Blog

    Workshop launches joint research center in Spain

    • 0 Comments

    With labs around the globe, Microsoft Research is ideally positioned to partner with leading academic and research institutes worldwide. One of the latest examples of this international cooperation is the Madrid Joint Research Center, a collaborative venture between Microsoft Research and the IMDEA Software Institute. Now we are pleased to announce the center’s inaugural activity: a software workshop that takes place April 2 to 4, 2014, at IMDEA Software Institute’s campus in Madrid.

    IMDEA Software Institute
    The Microsoft Research and IMDEA Software Institute Collaboration Workshop will bring together researchers from both partners and will focus on advances in verification, programming languages, and security. Thirty-six researchers and 20 students are involved in the collaboration, and, to date, some 20 papers have resulted from their joint work, with more in preparation.

    At a workshop that emphasizes collaboration, it is heartening to hear about joint work that has been completed, as well as proposals for new initiatives. A prime example of the first kind is will be described in the keynote by Alexy Gotsman from IMDEA. He will talk about a new framework and set of proofs that tighten up the semantics of modern databases underlying large-scale Internet services that guarantee immediate availability—a joint project from Microsoft Research, INRIA, and the University of Oxford.

    Said Manuel Hermenegildo, director of the institute, “Following the workshop, the center will broaden its reach to work with Microsoft in the following categories: cloud storage systems and mobile platforms; cloud/web security/malware detection; cryptography and privacy; concurrency, parallelism, and memory models; and programming languages and verification.”

    This will, we hope, be the first of many such workshops at the center, providing researchers and students a forum to discuss their collaborative work on hot topics in software. I am pleased to organize this joint research center with Georges Gonthier from Microsoft Research and Manuel Hermenegildo  and Gilles Barthe from IMDEA Software Institute.

    Learn more about the upcoming workshop.

    Judith Bishop, Director of Computer Science, Microsoft Research Connections

    Learn more

  • Microsoft Research Connections Blog

    Getting back to first principles with eScience in the Cloud workshop

    • 0 Comments

    As I prepare for the upcoming eScience in the Cloud workshop, I keeping coming back to what might sound like an obvious statement—even in these times when we’re trying to tackle hugely complex issues, like understanding climate change, and we are coping with heterogeneous data in volumes not previously encountered: as with life, science always finds a way. Okay, I’m paraphrasing from Jurassic Park, but you take my meaning.

    Facing these complex issues will involve working together—multiple research disciplines collaborating across multiple institutions, across multiple sectors of business, nonprofit, and government. A tall order? Certainly—but, with cooperation and communication, one that is tractable (notice I did not say easy). I hope to see that conversation continue at this workshop.

    Further your data-intensive research

    Yes, we are coping with massive data sets and have the means to collect and share them. Processing big data takes massive compute power; fortunately, compute power grows and becomes increasingly accessible every day. Visualizing data for exploration is critical—and never have I seen more tools to visualize and explore data than of late.

    The reason I call this blog “Getting back to first principles” is that many of the topics we will discuss at the eScience in the Cloud 2014 workshop were topics also discussed at Microsoft SciData 2004, our original eScience event, held some 10 years ago.

    Sure, the stakes and the availability of tools and compute resources seem higher (don’t they always?), yet the topics and goals are much the same: how we can use technology (in this case, the cloud) to expedite scientific discoveries. This is why, when my co-chair and colleague, Dennis Gannon (formerly an academic attendee) pulled the event together, he and I reviewed feedback from previous eScience events and focused on answering these fundamental questions: how is Microsoft going to help? and what resources can we make available?

    Like SciData 2004, the upcoming event will feature not only academics discussing their solutions to compute problems in science, but also Microsoft researchers from a variety of disciplines talking about how you can use their tools to reach your objectives. Even the product teams are becoming involved. They will demonstrate how some of their new offerings—many freely available—can help researchers achieve their goals.

    I hope you will join us April 29–30, at the Microsoft Research Lab in Redmond, Washington, to find out how to further your research in the cloud-computing age. Learn more about the event and register.

    If you can arrive a day earlier, we’re holding a one-day training event that teaches how to use Windows Azure, Microsoft’s cloud-computing platform, for research. This April 28 event is part of the Windows Azure for Research program.

    Kristin Tolle, Director of Environmental Science Infrastructure Development, Microsoft Research Connections

    Learn more

Page 2 of 102 (304 items) 12345»