The Microsoft Research Faculty Summit provides a unique opportunity for leading faculty members and Microsoft researchers, architects, and executives to collectively discuss a vision for the future of computing. It is an exciting event that explores how Microsoft and academic researchers can team up to help develop the breakthroughs that will define the future of software computing in this decade. Because academia is driven by research and limitless imagination, academic institutions worldwide are at the forefront of software innovation. Together, we can pursue new research frontiers that will transform computing and create a better future.
Faculty Summit 2002 was held on July 29–31, 2002.
Monday, July 29, 2002
Richard F. Rashid, Senior Vice President, Microsoft Research
William H. Gates, Chairman and Chief Software Architect, Microsoft Corporation
Microsoft Research: A Sampler of Current Projects
Jack Breese, Director, Microsoft Research Redmond
Demonstrations by Padmanabhan Anandan, Lili Cheng, James Larus, and Henrique Malvar of Microsoft Research. Microsoft Research performs a tremendous range of computer science research. In this session we will get a small taste of four projects: (1) Video Cliplets and other technologies for personal visual media management, (2) Sapphire, a prototype Window’s shell based on rich eventing and interactions, (3) Static Device Verifier, an application of static analysis to PC device drivers, and (4) AutoDJ, an automatic song recommendation system.
This session provides an update on the Games-to-Teach Project, a collaboration between Microsoft Research’s iCampus and MIT Comparative Media Studies, to design, build, and test next-generation educational games to support learning in advanced academic subject areas. Jenkins and Squire will present their team’s suite of 10 conceptual frameworks, including creative and pedagogical elements, and outline their current and future develop paths. The team is currently developing a set of games to be deployed and tested in a variety of high school and university settings in spring 2003.
This talk will discuss some of our efforts in classification and grouping of ink, including some background in the problem and a demonstration of our current solution. Tablet PC studies have shown that the best user interface for immediate thought capture is to emulate a sheet of paper, leaving the user unencumbered to scribble freeform notes. At the same time, nearly all of the downstream added value of digital ink requires some degree of ink understanding, such as inferring textual structure or visual syntax. We refer to this type of ink understanding as ink parsing. This talk gives an overview of the work done in this area for Windows Journal which is a note taking application to be shipped with Windows XP Tablet PC Edition. We will also take a look at the latest in Windows Powered Mobile Devices, Pocket PC, Pocket PC Phone Edition, and the forthcoming Smartphone product.
Common Language Runtime and Shared Source CLI
The Common Language Runtime provides a multi-language execution environment, enabling full integration of components and XML Web services regardless of the programming language they were created in. Currently, you can build .NET applications in more than 20 languages, including C++, Visual Basic.NET, and C#. A large number of third-party languages are also available for building .NET Framework applications, including Eiffel, Perl, Python, Smalltalk, and others. The Shared Source CLI source code implements the ECMA Common Language Infrastructure (CLI) and C# standards. It is available on the Microsoft Windows XP and FreeBSD operating systems. By delivering over 1 million lines of source code, the Shared Source CLI implementation will promote programming language innovation and XML Web services research.
The line between computer graphics and image processing has become increasingly blurred in recent years, with each field borrowing theory and techniques from the other. This panel discussion will include a review of our work on image-based rendering and rate-driven texturing as well as a look to the future of graphics and imaging.
Fighting Spam: Techniques on the Table
Cynthia Dwork, Microsoft Research
We describe, evaluate, and compare several methods for combating “spam.”
Classroom Experience Project: Lessons Learned from the University of Washington Professional Master’s Program
Jay Beavers, Microsoft Research
Ed Lazowska, University of Washington
Richard Anderson, University of Washington
We’ll detail the early system put in place to enhance a graduate distance learning class between the University of Washington and Microsoft. The system is comprised of high-quality conferencing and distributed PowerPoint with ink. We’ll contrast it to previous systems used for the same purpose and cover what went well and what went poorly in the semester length class. We’ll cover planned changes and improvements for this fall as well as the binaries and source code we’re publishing now for university use in similar distance learning projects.
As devices get smaller, the challenge of managing large amounts of information gets bigger. We have designed several interfaces for PDAs that attempt to improve users’ ability to work with real datasets on these small devices. In this talk, we will show interfaces for calendars, photos, and list selection on the Pocket PC, and describe user studies that help to understand the trade-offs of these approaches.
Progress Report: .NET-based University Research Projects
John Peterson, Yale
Shahram Ghandeharizadeh, University of Southern California
Paul Roe, Queensland University of Technology
This session will highlight three research projects going on at Yale, USC, and QUT. Speakers will discuss their project goals and the current state of their work-in-progress. Languages for Math and Science EducationYale University. Composing Web Sources Using a Scalable .NET Middleware—USC. G2, a Cycle Stealing GRID Framework for .NET—QUT.
ESP: Program Verification of Millions of Lines of Code
Manuvir Das, Microsoft Research
Software is increasingly being used in settings where reliability and resistance to malicious attacks are crucial requirements. The goal of the ESP project is to use compile-time program verification to guarantee the absence of programming errors that lead to unreliable code. The primary research result in ESP is the application of program verification to very large programs.
While the keyboard and mouse have served us well, alternative inputs are enabling new experiences with the PC. We will describe how we can enhance and extend the traditional user experience using a handheld wand, computer vision for the desktop, sensing locations of people, and computer vision for an intelligent room.
Global Web Services Architecture (GXA): The Next Step in Web Services
Don Box, Microsoft
Tuesday, July 30, 2002
The Universe in 5 Kilobytes: Coding (and Engineering) at the Institute for Advanced Study, 1945 - 1956
George Dyson, Author, Darwin Among the Machines and Project Orion
“‘Words’ coding the orders are handled in the memory just like numbers,” announced John von Neumann at the first meeting of the Institute for Advanced Study’s Electronic Computer Project on November 12, 1945. Breaking the distinction between numbers that mean things and numbers that do things unleashed the revolution that brings us here today. Mathematical biologist Nils Barricelli arrived in Princeton to observe the evolution of numerical organisms within this “artificial universe” in March of 1953. How are his creatures doing after fifty years?
Educational Computing at MIT
Hal Abelson, Massachusetts Institute of Technology
In this talk, Hal will survey MIT’s educational technology activities and the strategic themes behind them: (1) transforming the classroom experience to promote active learning, (2) furthering the university’s public mission to strengthen the intellectual commons, (3) exploring new modes of inter-institutional collaboration made possible by Web services and other information technology, and (4) creating and supporting an extended university community.
David Campbell and Mike Day will present a top-level overview of Microsoft’s embedded operating systems: Windows CE and XP Embedded. They will discuss product features and development tools and explore the opportunities that the next generation of smart .NET enabled devices presents. Demonstrations will show you first hand the extensibility of Microsoft’s embedded products and their effectiveness in academic research and curriculum.
Open Grid Services Architecture (OGSA), .NET & Grids
Ian Foster, Argonne National Labs and University of Chicago
Ian will describe the Grid concept and the emerging Open Grid Services Architecture, and discuss opportunities and current progress for a .NET implementation.
We will cover two topics in this session: (1) Using P2P overlay networks to implement scalable naming with support for both flash crowds and low latency updates, and (2) Evaluating several design choices for implementing application-level multicast on P2P overlay networks.
Learning Science and Technology Socratic Dialogue
Randy J. Hinrichs, Microsoft Research
At last year’s Faculty Summit, the highlight of our Learning Science and Technology (LST) session was a dialogue on LST directions in universities. The conversation became pretty heated. We have a controversial topicsuccessful implementations of technology in education. We know the pedagogy of active-based learning. We know the enormous power of computing for collaboration, rich graphic interfaces, people-to-people communication. Which technologies do we concentrate on for advancing learning? We’ll debate the proper role for technology in the next generation university.
One of the major challenges in using mobile computing applications and wireless devices is dealing with text input. Traditionally, researchers have focused on handwriting or QWERTY thumb-typing. Speech, while exciting for certain mobile applications, doesn’t work for most of the social contexts where you use mobile computing. XNav is an alternative text input solution (non-handwriting, non-speech, non-typing) based on Dr. Ken Perlin’s Quikwriting technology, and is the product of a collaborative research relationship between Microsoft Research and the NYU Center for Advanced Technology.
The .NET Compact Framework is a size-efficient and device-targeted version of the .NET Framework. It is composed of a Common Language Runtime and Class Libraries. Its goals are to enable the building of rich online and offline device applications. This presentation will cover the Execution Engine and Class Libraries including Base Classes, Web Services (SOAP), XML/Data, and Forms/Drawing. Marty Humphrey will describe his team’s work at the University of Virginia in using the .NET Compact Framework to create adaptive and predictable applications for smart devices. These applications will anticipate and react to the dynamics of the operating environment to deliver rich application behavior.
Security Design and Programming Tools at Microsoft
Douglas Bayer; Microsoft
Jon Pincus, Microsoft
Based on the experiences of the Windows Product Group, this talk will discuss the challenges of incorporating Security “best practices” into the design and implementation of our products. The first part of the talk will discuss the training programs to educate software engineers on fundamental security engineering principles and some of the things that we can do better to improve the development process in the future. The next portion of the talk will focus on state-of-the-art tools that have been (and are being) developed within PPRC and deployed within Microsoft, experiences from the broad usage they’ve received to date, and important future directionsas well as limitations of tools and their role within a general software engineering culture. Finally we will challenge the audience to take a more active role in providing practical security training as part of their computer science curricula and in sponsoring research programs to identify better ways to design and implement secure software.
C# Design: Current and Future
Peter Hallam, Microsoft
Mark Lewin, Microsoft Research
This talk will give a brief introduction to the design goals of the C# language followed by a discussion of the future directions of the language.
30 Technology demonstrations, including Microsoft Research projects, Microsoft Research–funded university projects, and Microsoft product groups.
A Research Agenda for Software: Opportunities for Collaboration
Daniel T. Ling, Microsoft Research
Microsoft Research University Relations
Douglas Leland, Microsoft Research
Wednesday, July 31, 2002
Dan Fay, Microsoft Research University Relations
Douglas Leland, Microsoft Research University Relations
.NET in the Curriculum: Experiences and Opportunities
Damien Watkins, Project 42
Switching from UNIX to Visual Studio .NET in a Large CS1 Course
Richard Enbody, Michigan State
Robert Kessler, University of Utah
Using .NET and C# in Courses: Panel Discussion
Stuart Reges, University of Arizona
John Gough, Queensland University of Technology
Ira Pohl, University of California at Santa Cruz
Andrew Williams, University of Iowa
Visual Studio .NET Academic Futures
George Conard, Microsoft
Software Development for the Web
Paul Roe, Queensland University of Technology
Software Development for Mobile Devices
Kyle Lutes, Purdue University
Scott Horn, Microsoft
A .NET-based Project Management Tool for Senior Projects at Stanford
Robert Plummer, Stanford
Tablet PC Capstone Design Course
Richard Anderson, University of Washington
Rotor and Course
Mark Lewin, Microsoft