{"id":199736,"date":"2011-02-22T14:11:39","date_gmt":"2011-02-22T14:11:39","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/events\/faculty-summit-2011\/"},"modified":"2023-06-20T11:29:30","modified_gmt":"2023-06-20T18:29:30","slug":"faculty-summit-2011","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/faculty-summit-2011\/","title":{"rendered":"Faculty Summit 2011"},"content":{"rendered":"\n\n\n\n\n

About Faculty Summit<\/h2>\n

\"FacultyThe twelfth Microsoft Research Faculty Summit provided a forum for lively debate of the development, application, and funding of technologies in the environmental, medical, and educational spheres over a long period of time. The program consisted of a variety of keynotes, talks, panels, workshops, and demonstrations. Participants came away with a much better idea of the integral part that industrial research plays in society, education, and technology transfer, and how they can contribute to this thriving community in the future. View videos of the summit presentations on the Videos tab.<\/p>\n

Past Summit events:<\/strong>
Faculty Summit 2022<\/a>,\u00a0Faculty Summit 2021<\/a>,\u00a0Faculty Summit 2019<\/a>,\u00a0Faculty Summit 2018<\/a>,\u00a0Faculty Summit 2017<\/a>,\u00a0Faculty Summit 2016<\/a>,\u00a0Faculty Summit 2015<\/a>,\u00a0Faculty Summit 2014<\/a>,\u00a0Faculty Summit 2013<\/a>,\u00a0Faculty Summit 2012<\/a>, Faculty Summit 2010<\/a>, Faculty Summit 2009<\/a><\/p>\n

News Highlights<\/h2>\n\n\n\n\n
\"promo_fsdesignexpo.jpg\"<\/td>\nDesign Expo 2011: Get Connected, Stay Connected<\/strong>
Student teams from six top graduate design institutions showcase their prototype interaction-design ideas in this year\u2019s Microsoft Research Design Expo. The teams\u2019 design solutions reflect the theme \u201cGet Connected, Stay Connected,\u201d which focuses on the merging of exceptional process with ideas.<\/td>\n<\/tr>\n
\"pg-title_faculty-fellows-2011.jpg\"<\/td>\n2011 Faculty Fellows Recognized<\/strong>
Microsoft Research announced the eight recipients of the 2011 Microsoft Research Faculty Fellowships during the Faculty Summit. These individuals were nominated by their universities and represent a selection of the best and brightest young researchers in their fields\u2014men and women who not only have interesting research agendas, but who also have demonstrated the potential to do great work throughout their careers. Microsoft\u2019s goal is to encourage these early-career faculty and help them work on the kind of high-risk\/high-reward research that often is overlooked by traditional funding mechanisms. Learn more ><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

\u00a0<\/p>\n

Feature Stories<\/h2>\n\n\n\n\n\n
\"Project<\/td>\nProject Daytona: Iterative MapReduce on Windows Azure<\/a>
This new platform expands the toolset for scientists in need of large-scale data computation capabilities, making it easier for scientists to use the cloud and access their data.<\/td>\n<\/tr>\n
\"Project<\/td>\nProject Hawaii: Cloud-Enabled Mobile Computing<\/a>
Project Hawaii offers university\u00a0students the opportunity to explore how the cloud can enhance mobile devices, especially the increasingly ubiquitous smartphone.<\/td>\n<\/tr>\n
\"University<\/td>\nResearchers Cherish University Roles<\/a>
Why do Microsoft researchers jump at the opportunity to spend time teaching and working at universities? Four researchers explain the attraction.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

\u00a0<\/p>\n

Keynote Speakers<\/h2>\n\n\n\n
\"Craig\n

\u00a0<\/p>\n

Craig Mundie<\/strong><\/p>\n

Chief Research and Strategy Officer, Microsoft<\/p>\n<\/td>\n

\"Peter\n

\u00a0<\/p>\n

Peter Lee<\/strong><\/p>\n

Distinguished Scientist and Managing Director, Microsoft Research<\/p>\n<\/td>\n

\"Lili\n

\u00a0<\/p>\n

Lili Cheng<\/strong><\/p>\n

General Manager, FUSE Labs, Microsoft Research<\/p>\n<\/td>\n

\"Rick\n

\u00a0<\/p>\n

Rick Szeliski<\/strong><\/p>\n

Principal Researcher, Microsoft Research<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Program Chairs<\/h2>\n\n\n\n
\"Judith\n

\u00a0<\/p>\n

Judith Bishop<\/strong><\/p>\n

Director, Computer Science,
Microsoft Research<\/p>\n<\/td>\n

\"Dennis\n

\u00a0<\/p>\n

Dennis Gannon<\/strong><\/p>\n

Director, eXtreme Computing Group
Cloud Engagement,
Microsoft Research<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n\n

Monday, July 18<\/h2>\n\n\n\n
Time<\/th>Event\/Topic<\/th>Location<\/th><\/tr><\/thead>
\n
8:00\u20139:00<\/div>\n<\/td>
Breakfast<\/td> <\/td><\/tr>
\n
9:0o\u201310:30<\/div>\n<\/td>
Opening Plenary Sessions<\/td>Kodiak<\/td><\/tr>
\n
9:00\u20139:30<\/div>\n<\/td>
\n
Welcome and Introduction<\/strong> | slides<\/a> | video<\/a><\/div>\n

Speaker:<\/strong> Tony Hey, corporate vice president, Microsoft Research<\/p>\n

Tony will welcome the attendees of Faculty Summit 2011 and provide a short overview of our collaboration with the research community. He will highlight some of our successful projects and programs and discuss some promising areas for collaboration that hold a high degree of potential value for both academia and Microsoft.<\/div>\n<\/td>
 <\/td><\/tr>
\n
9:30\u201310:30<\/div>\n<\/td>
\n
Opening Keynote: Beyond the Interface: Computing Transformed<\/strong> | slides<\/a> | video<\/a><\/div>\n
Chair:<\/strong> Judith Bishop, Microsoft Research<\/div>\n
Speaker: <\/strong>Craig Mundie, chief research and strategy officer, Microsoft<\/div>\n

The NUI revolution is well underway, and exciting new technologies are transforming how we interact with computers, what they can do for us, and who can use them. Craig Mundie, chief research and strategy officer of Microsoft, explores the technologies Microsoft is investing in and how they are changing the way we live.<\/p>\n<\/td>

 <\/td><\/tr>
\n
10:30\u201311:00<\/div>\n<\/td>
Break<\/td> <\/td><\/tr>
\n
11:00\u201312:30<\/div>\n<\/td>
Breakout Sessions<\/td> <\/td><\/tr>
 <\/td>\n
Session: Mobile Computing <\/strong>| video<\/a><\/div>\n
Challenges and Opportunities<\/div>\n
Session Chair: <\/strong>Arjmand Samuel, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Cascade<\/td><\/tr>
 <\/td>\n
Panel: Federal Worlds Meet Future Worlds<\/strong><\/div>\n
Societal Opportunities and Challenges for Information Technology and the Role of the Federal Government<\/div>\n
Session Chair:<\/strong> Elizabeth Grossman, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

\n
Rainier<\/div>\n<\/td><\/tr>
 <\/td>\n
Session: Open Data for Open Science<\/strong> | video<\/a><\/div>\n
The Microsoft Environmental Informatics Framework (EIF)<\/div>\n
Session Chair:<\/strong> Yan Xu, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

St. Helens<\/td><\/tr>
12:00\u20133:00<\/td>\n
Design Expo<\/strong> | video<\/a><\/div>\n
Chair:<\/strong> Curtis Wong, Microsoft Research<\/div>\n<\/td>
Kodiak<\/td><\/tr>
12:00\u201312:10<\/td>Opening\/Welcome Distinguished Critics\u2014Curtis Wong and Mike Kasprow | slides<\/a><\/td> <\/td><\/tr>
12:10\u201312:35<\/td>\n
Teams and Presentations<\/div>\n
Origin\u2014University of Washingon<\/strong>, Seattle, WA, United States | slides<\/a><\/div>\n
Daniya Ulgen, Vu Chu, Jason Wong, Ben Mabry, and Nicholas Smith<\/div>\n
In recognition of the shortcomings of current file management systems, Origin seeks to improve the way in which data is tagged, making its operation far more organic (or brain-like) than any typical system. By tagging data with contextual markers, it delivers users what they want, when they want it without degrading opportunities to search for other data.<\/div>\n<\/td>
 <\/td><\/tr>
12:35\u20131:00<\/td>\n
Voglia\u2014Iuav University of Venice<\/strong>, Venice, Italy<\/div>\n
Alice Mortaro, Valeria Refratti, and Amanda Rezza<\/div>\n
The Venice brief, \u201cThicker than Water,\u201d asked students to invent, design, and prototype a system that allows real-time, interactive, but non-verbal communication between dispersed family members. The focus was on sharing emotions, intimacy, and background sensation. Voglia is a connected device, designed as a jewelry pendant, allowing close bodily communication between a couple who are physically apart.<\/div>\n<\/td>
 <\/td><\/tr>
1:00\u20131:25<\/td>\n
In-NEED\u2014The Ontario College of Art and Design University<\/strong>, Toronto, Canada<\/div>\n
Nermin Moufti and Fareena Chanda<\/div>\n
In-NEED is a system for managing the community\u2019s response to natural disasters through the use of mobile technologies. In-NEED addresses the humanitarian need of pre-emptive \u201csurvivor\u201d systems\/networks that engage and mobilize people within the community to act and share existing resources to mitigate the impact of natural disasters in the all-important hours directly preceding the event. By using existing technologies, localized platforms, and developing low-cost community nodes, In-NEED serves as a virtual survival kit.<\/div>\n<\/td>
 <\/td><\/tr>
1:25\u20131:50<\/td>\n
Walk.It\u2014New York University | Interactive Telecommunications Program<\/strong>, New York City, NY, United States | slides<\/a><\/div>\n
Jennifer Ho, Doug Thistlewaite, Jihyun Moon, and Miguel Bermudez<\/div>\n
Walk.It is an online platform that allows anyone to create and share neighborhood maps that mimic the same personality and charm of a hand-drawn map from a friend. Believing that the form of the map breeds comfort and familiarity, along with the connected power of community and curation, Walk.It is designed to foster exploration and investigation.<\/div>\n<\/td>
 <\/td><\/tr>
1:50\u20132:15<\/td>\n
Porta Vox\u2014Ibero Universidad de M\u00e9xico<\/strong>, Mexico City, Mexico<\/div>\n
Fernanda Diez, Mariana Pintado, Julio Palomino, and Ricardo G\u00f3mez<\/div>\n
It is well known that in many urban centers crime of any kind\u2014but particularly those of a violent nature\u2014are seldom reported. Porta Vox is a system that creates a community-reporting tool that helps track and reduce incidents of crime in urban areas. The belief is that by making the means of reporting present, simple, and connected, it can reduce the stigma and fear that is associated with reporting. The intended outcome is to reduce crime and the fear of crime, thus making cities eminently more livable.<\/div>\n<\/td>
 <\/td><\/tr>
\n
2:15\u20132:40<\/div>\n<\/td>
\n
Apart \u2013 Together\u2014Tongji University<\/strong>, Shanghai, China<\/div>\n
Wei Wang, Hong Chen, Choi Yuna, and Ismo Sutela<\/div>\n
The Tongji University project team of interdisciplinary students has focused on the growing trend of parents leaving behind their children in second and third tier cities for the large first-tier cities in hopes of finding better economic opportunities. This trend is growing quickly, currently effecting more than 130 million parents and more than 50 million children who are now being raised by their grandparents. This separation between parent and children has a huge emotional impact and introduces some unique challenges of Chinese society today. The Apart \u2013 Together team has focused on a solution to improve the emotional bond between children and parents that are currently living in this situation.<\/div>\n<\/td>
 <\/td><\/tr>
\n
2:40\u20133:00<\/div>\n<\/td>
Closing\u2014Curtis Wong and Mike Kasprow<\/td> <\/td><\/tr>
12:30\u20131:30<\/td>\n
Lunchtime Session<\/div>\n
Session: Games for Learning in the 21st Century<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Donald Brinkman, Microsoft Research<\/div>\n
Speaker:<\/strong> Ken Perlin, New York University | slides<\/a><\/div>\n
With their vast popularity and singular ability to engage young people, digital games have been hailed as a new paradigm for education in the 21st century. But researchers know surprisingly little about how successful games work. What are the key design elements that make certain games compelling, playable, and fun? How do game genres differ in their educational effectiveness for specific topics and for specific learners? How do kids learn when they play games? Does the setting (classroom versus casual) matter? How can games be used to prepare future learning, introduce new material, or strengthen and expand existing knowledge? How are games designed to best facilitate the transfer of learning to everyday lives? And how can we use all of this knowledge to guide future game design?<\/div>\n
The Games for Learning Institute (G4LI) seeks to answer these questions, pointing the way to a new era of game use in education, by applying a scientifically rigorous approach. Researchers study existing games, identify key design elements and learning patterns, develop prototype mini-games based on these elements and patterns, and evaluate them in classroom and informal learning settings.<\/div>\n
This talk provided a peek inside how the G4LI does all this.<\/div>\n<\/td>
St. Helens<\/td><\/tr>
12:30\u20131:30<\/td>\n
Lunch<\/div>\n<\/td>
 <\/td><\/tr>
1:30\u20133:00<\/td>\n
Breakout Sessions<\/div>\n<\/td>
 <\/td><\/tr>
 <\/td>\n
Session: Cloud Security and Privacy<\/strong><\/div>\n
Session Chair:<\/strong> Kristin Lauter, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Rainier<\/td><\/tr>
 <\/td>\n
Session: Kinect for Windows SDK<\/strong> | video<\/a><\/div>\n
Community Update and Next Steps<\/div>\n
Session Chair & Speaker:<\/strong> Stewart Tansley, Microsoft Research<\/div>\n
Special Guest:<\/strong> Anoop Gupta, Microsoft Research | slides<\/a><\/div>\n
This session introduces the Kinect for Windows SDK, launched just a month ago. We describe its backstory and an overview of its contents. We provide a summary on its first month\u2019s availability and where we are headed together with you \u2013 including a key opportunity for feedback from the research community with us today. Later today at DemoFest, we provide a hands-on (hands-free!) opportunity to discuss the SDK and its use in your research and teaching. Tomorrow, we offer the rare opportunity of a full two-session tutorial hosted by some of the key developers of the SDK.<\/div>\n<\/td>
Cascade<\/td><\/tr>
 <\/td>\n
Session: Reinventing Education<\/strong><\/div>\n
Session Chair:<\/strong> Donald Brinkman, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

St. Helens<\/td><\/tr>
3:00\u20133:30<\/td>\n
Break<\/div>\n<\/td>
 <\/td><\/tr>
\n
3:30\u20134:30<\/div>\n<\/td>
\n
Plenary Session<\/div>\n
Neither Basic Nor Applied: Lessons from Computing Research in Academia, Government, and Now Industry<\/strong> | slides<\/a> | video<\/a><\/div>\n
Speaker:<\/strong> Peter Lee, distinguished scientist and managing director, Microsoft Research<\/div>\n
I\u2019ve been on a bit of a journey, going from academic, to government, and now to industrial research organizations. What I\u2019ve learned along the way is that computing research is different. Unlike most sciences, distinctions such as \u201cbasic\u201d versus \u201capplied\u201d don\u2019t really apply to computing research. Furthermore, recently popularized concepts such as \u201cPasteur\u2019s Quadrant\u201d are far too limited to be useful.<\/div>\n
In this talk, I\u2019ll describe my journey and how this has shaped my view of computing research. I\u2019ll explain how this has affected my plans for Microsoft Research Redmond and in the process introduce the DemoFest, which features examples that illustrate the uniqueness of computing\u2019s intoxicating blend of invention, discovery, and engineering. I\u2019ll conclude with some comments on why this is so important to the success of both Microsoft and, more broadly, the computing field.<\/div>\n<\/td>
Kodiak<\/td><\/tr>
\n
4:30\u20137:30<\/div>\n<\/td>
\n
DemoFest and Appetizers<\/div>\n
Chairs:<\/strong> Dean Guo, Microsoft Research; Michael Zyskowski, Microsoft Research<\/div>\n<\/td>
 <\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Tuesday, July 19<\/h2>\n\n\n\n
Time<\/th>Event\/Topic<\/th>Location<\/th><\/tr><\/thead>
\n
8:00\u20139:00<\/div>\n<\/td>
Breakfast<\/td> <\/td><\/tr>
\n
9:00\u201310:30<\/div>\n<\/td>
Breakout Sessions<\/td> <\/td><\/tr>
 <\/td>\n
Session: Refactoring with Roslyn Circus Comes to Town<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Mike Barnett, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

St. Helens<\/td><\/tr>
 <\/td>\n
Tutorial: Kinect for Windows SDK \u2013 Introduction and Overview<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Stewart Tansley, Microsoft Research<\/div>\n
Speaker:<\/strong> Gavin Jancke, Microsoft Research | slides<\/a><\/div>\n

This is the first of two tutorial sessions about the Kinect for Windows Software Development Kit (SDK). We will introduce the SDK and provide an overview of its contents and how developers can use them to create rich natural user interfaces.<\/p>\n<\/td>

Cascade<\/td><\/tr>
 <\/td>\n
Session: The Many Facets of Big Data<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Roger Barga, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Rainier<\/td><\/tr>
10:30\u201311:00<\/td>Break<\/td> <\/td><\/tr>
11:00\u201312:30<\/td>Breakout Sessions<\/td> <\/td><\/tr>
 <\/td>\n
Session: Semantic Knowledge for Commodity Computing<\/strong> | video<\/a><\/div>\n
Myth or Reality? Information and Knowledge Acquisition: Has the Problem Been Solved?<\/div>\n
Session Chair:<\/strong> Evelyne Viegas, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Rainier<\/td><\/tr>
 <\/td>\n
Tutorial: Kinect for Windows SDK \u2013 Deep Dive<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Stewart Tansley, Microsoft Research<\/div>\n

Speakers:<\/strong><\/p>\n

Cascade<\/td><\/tr>
 <\/td>\n
Session: The Rise of Dynamic Languages for Scientific Computing<\/strong> | slides<\/a> | video<\/a><\/div>\n
Session Chair:<\/strong> Sumit Basu, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

    \n
  • Part I: An Overview of Dynamic Languages: How They\u2019re Different, Why They\u2019re Popular, and Where They\u2019re Being Used\u2014Jan Vitek, Purdue University<\/li>\n
  • Part II: Recent Advances in Dynamic Languages\u2014Jan Vitek, Purdue University<\/li>\n<\/ul>\n

    Dynamic programming environments\u2014like Python, R, and Matlab\u2014are the new paradigm of scientific computing, particularly for data-intensive work, due to their ease of use, instant feedback, flexible visualization capabilities, and large set of available libraries. In this session, we will describe the what, where, why, and how of this trend: what dynamic languages are and how they are different, where they are being used, why the shift is happening, how it improves productivity, the perceived versus real differences in performance, and much more.<\/p>\n<\/td>

St. Helens<\/td><\/tr>
12:30\u20131:30<\/td>\n
Lunchtime Session<\/div>\n
Session: Diversity in Undergrad Programs<\/strong> | video<\/a><\/div>\n
What YOU can Do to Recruit and Retain Undergraduate Women for Your Computing Programs<\/div>\n
Session Chair:<\/strong> Jane Prey, Microsoft Research<\/div>\n

Speakers:<\/strong><\/p>\n

St. Helens<\/td><\/tr>
12:30\u20131:30<\/td>\n
Lunch<\/div>\n<\/td>
 <\/td><\/tr>
1:30\u20133:00<\/td>\n
Breakout Sessions<\/div>\n<\/td>
 <\/td><\/tr>
 <\/td>\n
Session: Semantic Knowledge for Commodity Computing<\/strong> | video<\/a><\/div>\n
Myth or Reality? Focus on Information Mining and Intelligence: How Much Inference is Needed?<\/div>\n
Session Chair:<\/strong> Evelyne Viegas, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Rainier<\/td><\/tr>
 <\/td>\n
Panel: NUI\u2014The Road Ahead<\/strong><\/div>\n
Session Chair:<\/strong> Kristin Tolle, Microsoft Research<\/div>\n
Speakers:<\/strong><\/div>\n
Cascade<\/td><\/tr>
 <\/td>\n
Tutorial: Sho\u2014Scientific Computing on .NET Steroids<\/strong> | video<\/a><\/div>\n
Speaker:<\/strong> Sumit Basu, Microsoft Research | slides<\/a><\/div>\n
Sho, based on Microsoft\u2019s IronPython, is a dynamic programming environment that connects seamlessly to Microsoft .NET, making a broad set of languages, libraries, and computing resources instantly available to your scripts. It also gives you all of the math and visualization libraries you have come to expect from other computing environments. In this tutorial, we will explain what Sho is and what it can do for you, and also guide you through a series of programming exercises to get you up and running in Sho. We will start with simple plots and matrix computations and lead up to complex connections to custom code, running code on clusters and the cloud, and even making websites that run your algorithms so that you can make your work easily accessible to the world. If you would like to participate in the workshop, please bring your laptop; it would be very helpful if you install the latest version of Sho before you arrive.<\/div>\n

The tutorial will be divided into:<\/p>\n

    \n
  • An overview of Sho: architecture, features, and capabilities<\/li>\n
  • A workshop: group programming exercises to get you up and running<\/li>\n<\/ul>\n<\/td>
St. Helens<\/td><\/tr>
3:00\u20133:30<\/td>\n
Break<\/div>\n<\/td>
 <\/td><\/tr>
3:30\u20135:00<\/td>\n
Closing Plenary Sessions<\/div>\n<\/td>
Kodiak<\/td><\/tr>
3:30\u20134:00<\/td>Presentation of Awards<\/strong>\u2014Rick Rashid, senior vice president, Microsoft Research | video<\/a><\/td> <\/td><\/tr>
4:00\u20135:00<\/td>\n
Keynote: Vision-Based Natural User Interfaces<\/strong> | slides<\/a> | video<\/a><\/div>\n
Chair:<\/strong> Kristin Tolle, Microsoft Research<\/div>\n
Speaker:<\/strong> Rick Szeliski, Microsoft Research<\/div>\n
Even though computer vision remains one of the great unsolved Grand Challenges of computing, vision techniques are maturing at a rapid pace and finding their way into a large number of applications. Among these are natural user interfaces based on a visual understanding of scenes, actions, and three-dimensional data.<\/div>\n

In this talk, I survey a number of computer vision technologies that were developed at Microsoft Research over the last decade, including:<\/p>\n

    \n
  • Recognizing human poses and actions for range data (Kinect)<\/li>\n
  • Segmenting and recognizing organs in three-dimensional (3-D) medical images<\/li>\n
  • Stitching together dozens to hundreds of photographs for seamless navigation of panoramas, street side images, and 3-D object movies<\/li>\n
  • Recognizing manufactured objects with your cell phone for quick comparison shopping<\/li>\n<\/ul>\n

    I will also discuss some of the challenging open problems in our field.<\/p>\n<\/td>

 <\/td><\/tr>
5:30\u201310:30<\/td>Buses depart for Argosy Cruise on Lake Washington<\/td> <\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Wednesday, July 20<\/h2>\n\n\n\n
Time<\/th>Event\/Topic<\/th>Location<\/th><\/tr><\/thead>
\n
8:00\u20139:00<\/div>\n<\/td>
Breakfast<\/td> <\/td><\/tr>
\n
9:00\u201310:30<\/div>\n<\/td>
Breakout Sessions<\/td> <\/td><\/tr>
 <\/td>\n
Session: Using Program Verification Tools in Teaching<\/strong><\/div>\n
Session Chair:<\/strong> Rustan Leino, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

St. Helens<\/td><\/tr>
 <\/td>\n
Session: Medical Visualization<\/strong> | video<\/a><\/div>\n
Medical Imaging on the Microsoft Platform<\/div>\n
Session Chair:<\/strong> Rick Benge, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Rainier<\/td><\/tr>
 <\/td>\n
Session: Microsoft Academic Search: Next-Generation Scholarly Discovery<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Alex Wade, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Cascade<\/td><\/tr>
 <\/td>\n
Session: Computational Science Research in Latin America<\/strong> | video<\/a><\/div>\n
Session Chair:<\/strong> Jaime Puente, Microsoft Research<\/div>\n

Presentations:<\/strong><\/p>\n

Baker<\/td><\/tr>
10:30\u201311:00<\/td>\n
Break<\/div>\n<\/td>
 <\/td><\/tr>
11:00\u201312:30<\/td>\n
Closing Plenary Session<\/div>\n
Closing Keynote: Future Social Experiences<\/strong> | slides<\/a> | video<\/a><\/div>\n
Chair:<\/strong> Dennis Gannon, Microsoft Research<\/div>\n
Speaker:<\/strong> Lili Cheng, Microsoft Research<\/div>\n
Today, social software, which was initially embraced by youth who were interested in self-expression, meeting new people, and staying in touch with friends, influences a broad set of people\u2014including traditional companies, governments, and people of all ages. It has changed the way people socialize online, making words such as: \u201cliking,\u201d \u201cfriending,\u201d \u201cstatus,\u201d and \u201ctweeting\u201d commonplace.<\/div>\n

In designing future social experience, we explore:<\/p>\n

    \n
  • Where is social software trending?<\/li>\n
  • How does research and innovation in this fast-paced area differ from other traditional areas in computer science?<\/li>\n
  • How might we use lessons learned from social software to influence learning and education in the area of science and technology?<\/li>\n<\/ul>\n

    What we see today, the Internet and social networks connecting people via status messaging, is just a beginning. It is our hope that social software can deliver in its promise to motivate people to action, improve the quality of life and social wellbeing, and help us solve meaningful problems and create amazing things together.<\/p>\n<\/td>

Kodiak<\/td><\/tr>
 <\/td>\n
Closing Remarks<\/strong>\u2014Judith Bishop, Microsoft Research; Dennis Gannon, Microsoft Research<\/div>\n<\/td>
 <\/td><\/tr>
12:30\u20131:30<\/td>\n
Lunch<\/div>\n<\/td>
 <\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n\n\n

DemoFest Booths<\/h2>\n\n\n\n
<\/div>\n\n\n\n\n\n

Presenters: <\/strong>Manuel Fahndrich and Francesco Logozzo, Microsoft Research<\/p>\n\n\n\n

CodeContracts is a language-agnostic solution to the problem of expressing contracts. CodeContracts include an API to author contracts that is part of .NET as of v 4.0, a runtime checker to improve testing, and a static checker to validate contracts at compile time. We will show the integration with Visual Studio (opens in new tab)<\/span><\/a>, where contracts will pop up while authoring the code; the runtime checker, where contracts on example subclasses are automatically inherited; and the static checker, where bugs in the program are spotted at design time.<\/p>\n\n\n\n\n\n

Presenters:<\/strong> Rob DeLine, Microsoft Research and Jens Jacobsen, Microsoft Visual Studio Ultimate<\/p>\n\n\n\n

Debugger Canvas is a new way for developers to debug C# and Visual Basic code. Created as a collaboration between Brown University, Microsoft Research, and Visual Studio, Debugger Canvas is a pan-and-zoom display containing the parts of the code through which the user has stepped (by using the debugger) or visited (through navigation commands, such as \u201cgo to definition\u201d). Debugger Canvas presents the code the user explores as a call-graph diagram in which each node contains the method\u2019s body in a full-featured editor. We\u2019ll show how Debugger Canvas is useful for both program understanding and debugging complex pieces of code.<\/p>\n\n\n\n\n\n

Presenter:<\/strong> Ethan Jackson, Microsoft Research<\/p>\n\n\n\n

FORMULA\u2014Formal Modeling Using Logic Programming and Analysis\u2014is a modern formal specification language targeting model-based development (MBD). It is based on algebraic data types and strongly typed constraint logic programming, which support concise specifications of abstractions and model transformations. Around this core is a set of composition operators for composing specifications in the style of MBD. A major advantage of FORMULA is its model-finding and design-space exploration facility. FORMULA can be used to construct system models satisfying complex domain constraints. The user inputs a partially specified model, and FORMULA searches the space of completed models until it finds a globally satisfactory design. This process can be repeated to find many globally consistent designs. Variations on this procedure can be used to prove properties on model transformations and to perform bounded-symbolic model checking.<\/p>\n\n\n\n\n\n

Presenter:<\/strong> Behrooz Chitsaz, Microsoft Research<\/p>\n\n\n\n

Science increasingly communicates through multimedia, yet multimedia sources have not historically lent themselves to robust search and retrieval with traditional search-engine technology. The Microsoft Research Audio Video Indexing System (MAVIS) is a set of software components that use speech-recognition technology to enable deep search into audio and video for actual spoken words, whether they are from meetings, presentations, online lectures, or Internet video. The speech-recognition component of MAVIS is integrated with Windows Azure for high scalability, and the component uses special techniques to help improve the search experience despite speech-recognition inaccuracies. On the front end, MAVIS integrates with Microsoft SQL Server full-text indexing so, operationally, it can enable searching of speech content similar to that of searching text.<\/p>\n\n\n\n\n\n

Presenter:<\/strong> Rick Benge, Microsoft Research<\/p>\n\n\n\n

Microsoft Biology Foundation 2.0 is a bioinformatics tool kit built on Microsoft.NET. One of the tools built on this technology is Genozoom, which addresses an issue facing genome browsers, the inability to support smooth navigation of data from high to low resolutions at rapid speed. Genozoom handles this by utilizing Silverlight and DeepZoom technologies to make it natural for users to navigate and explore the multidimensional information across a genome. In addition, the genome browser will enable the input of custom data and user annotations.<\/p>\n\n\n\n\n\n

Presenters:<\/strong> Christophe Poulain, Microsoft Research and Joe Pamer, Microsoft Visual Studio<\/p>\n\n\n\n

Try F# (opens in new tab)<\/span><\/a> enables the Microsoft .NET language F# to be used in an interactive, browser-based environment. Try F# makes F# accessible to users with Windows, Macs, and\u2014soon\u2014Linux with no installation required. Try F# also includes an online training tool to introduce users to the language. The site serves as a portal for information about the language and its growing community. Try F# was developed by Microsoft Research Connections\u2019 Engineering and Computer Science teams, in collaboration with Microsoft Research Cambridge and the Visual Studio F# development team.<\/p>\n\n\n\n\n\n

Presenter:<\/strong> Joseph M. Joy, Microsoft Research<\/p>\n\n\n\n

Recent advances in visualization technologies have spawned a potent brew of visually rich applications that enable exploration over potentially large, complex data sets. Examples include Gigapan.org, Photosynth.net, PivotViewer, and World Wide Telescope. At the same time, the narrative remains a dominant form for generating emotionally captivating content such as movies and novels or imparting complex knowledge, such as via textbooks or journals. The Rich Interactive Narratives project aims to combine the compelling and time-tested narrative elements of multimedia storytelling with the information rich and exploratory nature of the latest generation of information visualization and exploration technologies. We approach the problem not as a one-off application, Internet site, or proprietary framework, but rather as a data model that transcends a particular platform or technology. This has the potential of enabling entirely new ways for creating, transforming, augmenting, and presenting rich interactive content.<\/p>\n\n\n\n\n\n

Presenters:<\/strong> Chris Wendt and Vikram Dendi, Microsoft Research<\/p>\n\n\n\n

Mechanisms for community involvement are able to improve the quality of an automatic translation to a level that satisfies even the most demanding users\u2014and make this a fun, compelling exercise. Cross-language document retrieval and automatic translation, using the example of worldwidescience.org, represents an excellent implementation of multilingual access for the research community.<\/p>\n\n\n\n\n\n

Presenters:<\/strong> Alex Wade, Lee Dirks, Adnan Mahmud, Yunxiao Ma, and Xin Zou, Microsoft Research<\/p>\n\n\n\n

Microsoft Academic Search is a free service developed by Microsoft Research to help users quickly find information about academic researchers and their activities. It serves as a test bed for our object-level vertical-search research in areas such as machine learning, entity extraction, and information retrieval. With Academic Search, it\u2019s easy to find the top researchers, papers, conferences, journals, and organizations in a growing number of research domains. You also can explore a variety of relationships between authors and their papers.<\/p>\n\n\n\n\n\n

Presenters: <\/strong>Steven Johnston, University of Southampton Faculty of Engineering and the Environment and Simon Cox, Microsoft Institute of High Performance Computing at the University of Southampton<\/p>\n\n\n\n

We are using World Wide Telescope as a data visualizer for both the Clouds in Space and ASTRA projects. We will demonstrate the visualization of satellite trajectories, as well as show high-altitude flight data collected from the ASTRA 7 flight 18 kilometers into the stratosphere. The Clouds in Space project provides a cloud-based plug-in framework for satellite-trajectory propagation and conjunction analysis and is aimed at improving Space Situational Awareness by predicting potential satellite collisions. The ASTRA\u2014Atmospheric Science Through Robotic Aircraft\u2014project demonstrates the use of Windows Azure as a computing resource to complement low\u2013powered, high-altitude scientific instrumentation.<\/p>\n\n\n\n\n\n

Presenter:<\/strong> Judy Qiu, School of Informatics and Computing at Indiana University<\/p>\n\n\n\n

Many data analytics and scientific-computation algorithms rely on iterative computations, in which each iterative step can be specified as a MapReduce computation. Twister4Azure extends the MRRoles4Azure to support such iterative MapReduce executions, drawing lessons from the Java Twister iterative MapReduce framework introduced in Jaliya Ekanayake\u2019s thesis. Iterative extensions include a merge step, in-memory caching of static data between iterations, cache-aware hybrid scheduling using Azure Queues, and a bulletin board. Twister4Azure and MRRoles4Azure offer the familiar MapReduce programming model with fault-tolerance features similar to traditional MapReduce and a decentralized control model without a master node, implying no single point of failure. We test on data-mining algorithms applied to metagenomics and requiring parallel linear algebra in their compute-intensive kernels.<\/p>\n\n\n\n