Microsoft Research

10:00 - 10:45 David Molnar, Microsoft Research Some vulnerabilities in current systems 10:45 - 11:15 Paul Miller, Washington State Voting Systems Manager Issues and research directions from the

The Internet is no longer the cooperative, technological playground it once was. Successful networked systems must account for potentially competing interests.

Two important performance metrics in collaborative systems are local and remote response times.

I will present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing by humans.

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

Software is everywhere, and yet, extremely unreliable.

2:30 - 3:00 Ben Adida, Harvard Medical School Helios: overview and open problems

In line with the insight that 'one size' of databases will not fit all application needs, the database community is currently exploring various alternatives to commodity, CPU-based system designs.

1:00 - 1:30 Ron Rivest, MIT Scantegrity: overview and open problems

1:45 - 2:15 Josh Benaloh, Microsoft Research Verified Optical Scan: overview and open probelms

This paper studies markets for heterogeneous goods using mechanism-design theory.

3:15 - 3:45 TBA Pret-a-Voter: overview and open probelms

NULL

In the last decades, numerous successful QSAT solvers have been developed. However, most of these solvers process formulas only in prenex conjunctive normal form (PCNF).

As software continues to grow in size and complexity, so do development teams. Consequently, coordination and communication within these teams play larger roles in productivity and software quality.

In this talk I'll discuss three projects I've done to understand how and why people listen to themselves and others using digital technologies.

9:15-10:00 Welcome + Intro Comments by Lisa Green, Lee Dirks, Stuart Tansley and Kristin Tolle. 10:00-10:30 Cameron Neylon 10:30 - 11:00 Jean-Claude Bradley

We consider the problem of optimal pricing of a common-value product in the presence of social learning effects.

The talk presents work of the Institute for System Programming on applications of formal methods into practical software engineering.

3:30 - 4:00 Peter Binfield 4:00-5:00 John Wilbanks Keynote

Over the past few years, there has been a quiet revolution in display manufacturing technology.

In standard learning models, it is assumed that the learner has a complete and fully available training set at hand.

2:00-2:30 Heather Williams 2:30-3:00 Stephen Friend

In this talk, I will report on the results of the SCALE workshop that was held at the JHU Human Language Technology Center of Excellence.

11:30- 12:00 Antony Williams 12:00-12:45 Peter Murray-Rust + Chem4Word launch

Relations between users on social media sites often reflect a mixture of positive (friendly) and negative (antagonistic) interactions.

An important challenge in machine learning is how to efficiently learn from massive training data sets, especially with limited storage and computing capability.

NULL

Most individuals form their opinions about the quality of new products, social trends and political issues via their interactions in social and economic networks.

Many say that 'The Cloud' will be the next game-changing computing platform, and the race is on to define and capture that domain.