Microsoft Research

Gianna Reggio - A Problem Frame-based approach to cope with predictable and unpredictable changes: the case of the hybrid translation Janos Sztipanovits - Software Verification for Cyber Physical

Dennis Gannon ΓÇô Welcome and Workshop Kickoff Ed Lazowska ΓÇô The University of Washington eScience Institute

The undead rise again in Bite Me, the third book in Christopher MooreΓÇÖs wonderfully twisted vampire saga.

1. Interactive and Fault-tolerant Data Analytics in the Cloud ΓÇô Magdalena Balazinska, University of Washington 2.

1. Amazon Web Services (AWS) Deepak Singh, Amazon

1. Towards Predictable Cloud Computing ΓÇô Andreas Polze, Hasso-Plattner-Institute 2. The Cloud for University City Campus ΓÇô Danilo Montesi, University of Bologna 3.

General session keynote: David Patterson, University of California at Berkeley

The idea that TCP shares out Internet capacity fairly is a dangerous myth. The same applies to fair queuing. The danger?

This talk will cover our work exploring the role of software in modulating the flow of electric power within Internet systems, to reduce operating costs and environmental impact.

In this talk I will cover some of my dissertation research that is devoted to the study of textual user-generated content on social media platforms.

There is almost a never-ending quest to push the capacity limit for wireless networks to support growing applications.

Discounted cumulative gain (DCG) is now widely used for measuring the performance of ranking functions especially in the context of Web search.

In this talk, I present Lahar, a warehousing system for a general class of imprecise, sequential data called Markovian streams.

10:30-11:15 Software Certification: The Case Against Safety-Cases Alan Wassyng, Mark Lawford and Tom Maibaum 11:15-12:00 How to Certify Software Architectures for Reliable Reconfiguration Valdis

Ever since Mark Weiser and Philips connected systems intelligence with cognitive intelligence and formed the basis for the development of the ΓÇÿinternet of thingsΓÇÖ, much has been written about

The key to creating scalable, robust natural language processing (NLP) systems is to exploit correspondences between known and unknown linguistic structure.

Presentation Session 3 - Runtime Reconfiguration 9:15-10:00 Towards IT systems capable of managing their health Jose Fortes and Selvi Kadirvel

Central to the development of computer vision systems is the collection and use of annotated images spanning our visual world.

Improvements in modern healthcare have allowed many formerly fatal conditions to become survivable but chronic.

Information retrieval and access have become central technologies for managing and leveraging the ongoing explosion of digital content.

Research into Example Based Speech Recognition got revived over the past decade.

Ever-increasing amounts of text are produced by end-users or collected from multiple sources.

Myerson has argued that the Nash equilibrium lies at the foundations of modern economic thought, and yet the dark computational side of the concept keeps getting gloomier.

Random walks are a fundamental tool used widely across several areas of computer science - theory, web algorithms, distributed networks, as well as mathematics and statistical physics.

Much recent research has been devoted to learning algorithms for deep architectures such as Deep Belief Networks and stacks of auto-encoder variants, with impressive results obtained in several

In recent times, cloud computing services, such as Amazon EC2, and Microsoft Azure have become very popular.

The use of a virtual machine language, instead of machine code, is by now a well-established and successful technique for porting programs across different hardware platforms, without incurring into

11:30 - 12:30 Ben Adida, Harvard Medical School Introduction to verifiable election technologies

The purpose of the seminar is to describe the StarSs programming model, the status of the different implementations and why we consider that it provides a global solution to the challenges raised by

When systems rely on a 'human in the loop' to carry out a security-critical function, cyber trust indicators are often employed to communicate when and how to perform that function.