Contact Information

For more information please contact us at:


Registration is now closed. Please contact us at if you have any questions.

INRIA Joint Centre Forum

The Microsoft Research INRIA Joint Centre Forum 2011 will take place April 12.

See here for details.



Please note in the following that MSR is an abbrieviation of Microsoft Research.


Wednesday Morning 8:00-12:30

8:00 Light Breakfast and Registration

9:00 Parallel Events

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

  • 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)



  • 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 LanguageDon Syme (MSR) and Tomas Petricek (University of Cambridge)

12:30 Lunch. Registration continues


Wednesday Afternoon

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)



  • 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


Thursday Morning

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. - 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)


Thursday Afternoon

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


Friday Morning

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


Friday afternoon (Friday 13:30-17:00)


  • 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)