Microsoft Research

Modern cryptography provides a powerful mathematical framework for proving the security of cryptographic algorithms.

In this talk, we will provide a brief overview of the research that we have conducted in the area of digital rights management (DRM) systems.

Wrap up

1. Azure Academic Pilot - Krishna Kumar, Microsoft

Social networks can affect individual and group success because of the way information flows through the network and because of the social relationships embedded in the edges of the graph.

This talk describes some of the ongoing work in the Computer Aided Programming group at MIT.

Identifying patterns and trends in large-scale, long-term application use is critical to ensuring an application meets the needs of its user base.

Model Checking was introduced in the 1980's, providing a fully automated way to verify that a finite-state system satisfies a logical specification, or to generate a behavioral counterexample

Statistical machine translation systems generate their output by stitching together fragments of example translations.

New science and technology will be described for buildings as a resource within an adaptive (ΓÇ£smartΓÇ¥) grid.

Software is large, complex, and error-prone. The trend of switching to parallel and distributed computing platforms (e.g. multi-cores, cloud computing) makes software development even more complex (e.

Processor specialization is a prevalent trend in computing.

Today, software is ubiquitous---it is deployed on virtually all electronic devices, small and large, including those that are life- and safety-critical.

1. Management and Contextualization of Scientific Virtual Appliances – Germán Moltó, Universidad Politécnica de Valencia 2.

Due to the high degree of control and performance that it affords, programmers use the C language for writing low-level systems software.

1. Data and the Cloud. A Call for Improved Formats and Consistency in Data Services Supporting Scientific Research ΓÇô Rob Gillen, Oak Ridge National Laboratory 2.

Relationships make social media social. Yet, different relationships play different roles.

The natural language processing (NLP) applications which ultimately affect people's daily lives are high level, semantically-oriented ones: question answering, machine translation, machine reading

1. Early Progress on SEJITS in Many Core and Cloud Environments ΓÇô Armando Fox, University of California Berkeley 2.

1. Cloud Computing Support for Massively Social Gaming ΓÇô Alexandru Iosup, Delft University of Technology 2.

1. Managing the Cloud Infrastructure ΓÇô Antonio Cisternino, University of Pisa 2. QoS-aware Clouds ΓÇô Fabio Panzieri, University of Bologna 3.

Post the 9/11 attacks the National Security Administration (NSA) acquired a research project called Total Information Awareness that uses advanced data-mining techniques to collect mountains of

1. Proposing a Curriculum/Course for Cloud Computing from a Software Engineering Perspective ΓÇô Kurschl Werner, Upper Austria University of Applied Sciences 2.

1. Microsoft Azure for Research - Roger Barga Jared Jackson, Microsoft Research

1. Enabling Scalable Genomics Research across Desktop and the Cloud ΓÇô Yogesh Simmhan, Microsoft Research 2.

Panel on Applications for the Cloud

1. Microsoft Codename 'Dallas' - Moe Khosravy, Microsoft

General session keynote: Dan Reed, Microsoft Research

1. Leveraging Domain-Specific Software Architectures for Classifying Cloud Service Abstractions ΓÇô T S Mohan, Infosys 2.

1. Google App Engine - Christian Schalk, Google