8:00 Light Breakfast and Registration

9:00 Parallel Events

WORKSHOP: The role of funding agencies and industrial research in promoting computing science education
Chairs:

• Andrew Herbert (Chairman, Microsoft Research, Europe, Middle East and Africa)
• Fabrizio Gagliardi (Director, Microsoft External Research, Europe, Middle East and Africa;  and Chairman, ACM Europe)

Panelists:

• Mario Campolargo (Director of "Emerging Technologies and Infrastructures", in the Directorate General for Information Society and Media of the European Commission)
• Alain Chesnais (President, ACM – Association for Computing Machinery)
• Bertrand Meyer (Chair of Software Engineering, ETHZ, Switzerland; and President, Informatics Europe)
• Leonard A. Plugge (Executive Secretary Scientific Technical Council, SURF, The Netherlands)
• Lesley Thompson (Director – Research Base, EPSRC, UK)
• Matthias Kaiserswerth (Director, IBM Research Zurich, Switzerland)
• Michel Cosnard (President and Director-General of INRIA, France)
• Ricardo Baeza (Vice-President Yahoo Research, Europe and Latin America)
• Stefan Jaehnichen (Director, Fraunhofer-FIRST, Professor of Computer Science, TU-Berlin and President of the GI, Germany)
• Tuuli Teeri (President, Aalto University, Finland)

TUTORIAL: Microsoft .NET Gadgeteer, James Scott (MSR), Nic Villar (MSR)

TUTORIAL: The Future of F#: Taming the Data Deluge with a Strongly Typed Functional Programming Language,  Don Syme (MSR) and Tomas Petricek (University of Cambridge)

12:30 Lunch. Registration continues

13:30 Opening Session

Welcome: Andrew Herbert (Chairman, Microsoft Research, Europe, Middle East and Africa)
Keynote: Beyond Software, Ken Wood (Deputy Managing Director, Microsoft Research, Cambridge UK)

15:00 Short Break

15:15 Session One – three tracks

Semantic Computing for Software Agents

• Evelyne Viegas (MSR) – Chair
• Zoubin Ghahramani (University of Cambridge) ­ Probabilistic Modelling and Knowledge Representation
• Steffen Staab (University of Koblenz) - Semantic Model-driven Engineering

Parallelism: Merging Theory and Practice

• Judith Bishop (MSR) – Chair
• Thomas Ball (MSR) – Practical Parallel and Concurrent Programming
• Ganesh Gopalkrishnan (University of Utah) - Experience with PPCP

Beyond Multicore

• Satnam Singh (MSR) – Chair
• Avi Mendelson (Technion and Microsoft Israel) - Massively parallel heterogeneous systems - will you be able to program them?
• Simon Moore (University of Cambridge) - Prototyping massively parallel architectures: computing beyond a million processors

16:15 Refreshments

16:45 PANEL: Software Research Twenty Years On,

Chair: Judith Bishop (Director of Computer Science, Microsoft External Research)

Panelists:

• Tony Hey (Corporate Vice President, Microsoft External Research)
• Andrew Herbert (Chairman, Microsoft Research, Europe, Middle East and Africa)
• Andrew Blake (Managing Director, Microsoft Research Cambridge Laboratory, UK)
• Peter Lee (Managing Director, Microsoft Research Redmond, USA)

18:15 Close

Buses to the Dinner on a Boat on the Seine

08:00 Light Breakfast

09:00 Keynote: The Future of Software Engineering, Wolfram Schulte (Manager, Software Engineering, Microsoft Research, Redmond, USA)

10:00 Short Break

10:15 Session 2 – three tracks

Data-driven Research at Web Scale

• Evelyne Viegas (MSR) Breaking down data barriers for open innovation 
• Haym Hirsh (Rutgers University) - Web-based Data Services for Research – Challenges and Opportunities 
• Serge Sharoff (University of Leeds) - Understanding the domains and genres of the multilingual web 

Programming in the Era of Cloud, Data and Devices

• Don Syme (MSR), Manuel Serrano (INRIA), Victor Bahl (MSR)

**PANEL: Verification in the Embedded Application Industry

• Thomas Santen (European Microsoft Innovation Center) – Chair
• Thomas Kropf (Robert Bosch GmbH) - Keynote
• Panelists: Tom Ball (MSR), Marie-Claude Gaudel (Université de Paris-Sud), Kim Larsen (Aalborg University), Bertrand Meyer (ETH Zurich), Roland Weiss (ABB AG)

11.45 DemoFest including Lunch

1. Academic Search –  Explore Entities and Relationship, Adnan Mahmud (MSR)
2. Data-driven Innovation via Web N-gram Services, Evelyne Viegas (MSR)
3. Formal Modeling with FORMULA, Dirk Seifert (European Microsoft Innovation Center) and Ethan Jackson (MSR)
4. Hawaii – Mobile + Cloud Computing Platform, Danny Dalal (MSR)
5. SecondLight - Interactive Surface Technology, David Molyneaux (MSR)
6. Spur – A Tracing Just-In-Time Compiler for Microsoft’s Common Intermediate Language, Nikolai Tillmann (MSR)
7. Pex4Fun.com - Teaching Computer Science through Coding Duels, Peli de Halleux (MSR)
8. Try and learn F# on multiple platforms - the Web Experience, Dean Guo (MSR)
9. VCC – Verifying Concurrent C Code, Stephan Tobies (European Microsoft Innovation Center)
10. WikiBhasha – a multi-lingual content creation tool for Wikipedia, Ashwani Sharma (MSR-India)
11. Zentity 2.0 – A semantically-rich repository platform, Oscar Naim (MSR)
12. Microsoft .NET Gadgeteer - A Platform for Rapid Prototyping, Nicolas Villar (MSR)

14:00 Session Three – three tracks

Natural User Interactions Supported by Human-Centric Computing, Kristin Tolle (MSR) – Chair

• Kenton O’Hara (MSR) - Understanding opportunities for NUI in Medical contexts
• Patrick Baudisch (Hasso-Plattner-Institute at Potsdam University) – Multitoe
• Mark Rouncefield (University of Lancaster) - Understanding Users?

Data, Results, Myths and Software: the Road to Empirical Software Engineering, Nachi Nagappan (MSR), Thomas Zimmermann (MSR), Dieter Rombach (Fraunhofer-IESE)

Verified Software Experiments

• Tony Hoare (MSR) - Chair
• Jim Woodcock (University of York) - Verifying FreeRTOS: an experiment in the Verified Software Initiative
• Rod Chapman (Altran Praxis) - Tokeneer: An experiment in high-assurance software engineering
• Rajeev Joshi (NASA) – Verifying a Flash Filesystem

15:30 Refreshments

16:00 Session Four – three tracks

PANEL: Technologies for Natural User Interactions chaired by

• Andrew Fitzgibbon (MSR) – Chair
• Panelists:
• Jamie Shotton (MSR), Patrick Baudisch (Hasso-Plattner-Institute at Potsdam University), John Winn (MSR) , Shahram Izadi (MSR)

Putting Real Tools in the Hands of Students

• Tom Ball (MSR) – Concurrent Revisions
• Nikolai Tillman (MSR) - PexForFun – Programming Exercises and Automatic Grading in the Cloud
• Nigel Horspool (University of Victoria) – TryF# - building a system for multi-platform access to a managed language

Verified Computing Tools

• Joost-Pieter Katoen (RWTH Aachen) – Chair
• Andy Gordon (MSR) - F7: Security Properties of F# Programs by Typing
• Bart Jacobs (KU Leuven) - Verifying Object-Oriented Programs with VeriFast
• Markus Dahlweid (European Microsoft Innovation Center) - Design Space Exploration with FORMULA

17:30 Close

Evening at ease in Paris

08:00 Light Breakfast

09:00 Session 5 – three tracks

Bug and Malware Detection on a Web Scale

• Engin Kirda (Institute Eurecom) - Automated Discovery of Parameter Pollution Vulnerabilities in Web Applications
• George Candea (EPFL) - Vivo Multi-Path Analysis of Large Software Systems
• Ben Livshits (MSR) - Malware Detection on a Web Scale

Reconfigurable Computing Comes of Age

• Satnam Singh (MSR) – Chair
• Alessandro Forin (MSR)
• Wayne Luk (Imperial College)
• Koen Bertels (TU Delft)
  

Systems Programming Verification

• Martyn Thomas (Thomas Associates) – Chair
• June Andronick (NICTA) - From a proven correct microkernel to trustworthy large systems
• Stephan Tobies (European Microsoft Innovation Center)  - The Hypervisor verification experiment, verifying tens of thousands of lines concurrent C
• Xavier Leroy (INRIA) - The CompCert verified C compiler

10:30 Refreshments

11:00 Closing Keynote Session on Open Source

• Software Engineering and Open Source, Brendan Eich, Chief Technology Officer, Mozilla Corp
• Standards, interoperability and Open Source, Tony Hey (Corporate Vice President, Microsoft External Research)

12:30 Final words  -Judith Bishop (MSR)

12:45 Lunch

WORKSHOP: SAT/SMT Solvers

• Nikolaj Bjorner (MSR), SMT Solving for Applications: Techniques, Tuning and Experience”
• Joao Marques-Silva (University College Dublin, Ireland) Boolean-Based Optimization: Algorithms & Applications
• Youssef Hamadi (MSR) Parallelism in SAT

TUTORIAL: Software Engineering for Mobile Computing,

• Chair – Judith Bishop (MSR)
• Brian Zill (MSR) – Mobile computing in the Cloud
• Anrno Puder (San Francisco State University) – Converting Android Apps to WP7
• Nikolai Tilmann (MSR) – Programming on the Phone

PANEL: Sexy Types – Are We Done Yet?

• Satnam Singh (MSR) - Chair
• Simon Peyton-Jones (MSR)
• Ulf Norell (Chalmers University)
• Francois Pottier (INRIA)
• Erik Meijer (Microsoft)
• Conor McBride (University of Strathclyde)