bios

Dr. Kurt AKELEY is the Assistant Managing Director at Microsoft Research Asia, located in Beijing, China. His research interests include graphics system architecture, high-performance computing, and the design of displays that better accommodate human visual requirements. He joined Microsoft in July of 2004.

Kurt co-founded Silicon Graphics in 1982. During his 19 years at Silicon Graphics, he led the development of several high-end graphics systems, including GTX, VGX, and RealityEngine. He also led the development of OpenGL, an industry-standard programming interface to high-performance graphics hardware. His last full-time position with Silicon Graphics was senior vice president and CTO.

Kurt is a named inventor on fourteen patents, is a fellow of the ACM and a member of the National Academy of Engineering, and in 1995 was the recipient of the ACM SIGGRAPH Computer Graphics Achievement Award. He was graduated with a BEE degree from the University of Delaware in 1980, an MSEE degree from Stanford in 1982, and a Ph.D. in electrical engineering from Stanford in 2004.

Abstract
Opening Speech: MSR Asia Lab Update

In his talk, Dr. AKELEY will provide an update on the new development at Microsoft Research Asia in research and technology innovation. He will give an overview of the lab, its research groups, major research work and accomplishments, which have made impact in research, press, academic and products. Dr. AKELEY will also highlight collaboration with universities in Asia Pacific region.

Hsiao-Wuen HON

Assistant Managing Director, Microsoft Research Asia

Dr. Hsiao-Wuen HON is the Assistant Managing Director of Microsoft Research Asia. He oversees the lab's research work in speech, natural language processing, information management and system areas. Before joining MSR Asia, he was the Architect in Speech .Net at Microsoft Corporation, overseeing all architectural and technical aspects of the award winning Microsoft? Speech Server product, Dr. HON is also responsible for managing and delivering statistical learning technologies for Natural Interactive Service Division (NISD). Dr. HON joined Microsoft Research in Redmond as a senior researcher at 1995 and has been a key contributor of Microsoft's SAPI and speech engine technologies. Before joining Microsoft, Dr. HON worked at Apple Computer Inc., where he was a principal researcher and technology supervisor at Apple-ISS research center. Dr. HON received the B.S. in Electrical Engineering from National Taiwan University; and M.S. & Ph.D. in Computer Science from Carnegie Mellon University. Dr. HON is the co-inventor of CMU SPHINX system on which many commercial speech recognition systems are based on, including Microsoft and Apple. Dr. HON is an international recognized speech technologist and has published more than 90 technical papers in various international journals and conferences. He is currently an Associated Editor for IEEE Transaction of Speech and Audio Processing. Dr. HON holds 25 US patents and currently has 10 pending patent applications.

Abstract
Internet Services

"Internet Services" is an area that has attracted great attention in both commercial and academic lately. It is also an area that Microsoft Research sees great potential working collaboratively with the universities. Making it a new theme for next few years, Dr. HON would like to highlight some topics of interest and opportunities for collaboration. He will also introduce recent development and achievements at MSR Asia in this area, such as establishment of the Search Technology Center (STC).

Eric ASHDOWN

Chief Security Advisor, Microsoft Greater China Region

Eric ASHDOWN is Chief Security Advisor for Microsoft Greater China Region. His responsibility is to take a senior advisory role for both security and privacy issues that effect Microsoft's business in Greater China. Through his role, Eric will assist in driving strategic security with key Government entities and private sector clients throughout China, Hong Kong and Taiwan. Eric has over 20 years of business experience, 10 years in Information Security and 11 years as an investment banker. At Microsoft, Eric has worked with large multinationals, on-line gaming firms, automobile manufacturers and Government entities. Eric's previous security experience includes both security consulting as well as executive roles in a few Silicon Valley security start-ups. Eric received his MBA in International Business from the George Washington University and a BA in International Studies / East Asia from the University of the Pacific.

Abstract
Establishing Trust in an Interconnected World

Creating a secure computing ecosystem is a top priority for Microsoft Corp., for the IT industry and for customers. As an industry leader, Microsoft believes it has a responsibility to offer a vision, framework and road map for taking secure computing to the next level. We see the potential for security technology to move beyond its current defensive capabilities to become an enabler of a world where interconnected networks, devices, products and services are appropriately secure and can deliver even richer information, entertainment and connected computing experiences.

Patrick HALUPTZOK

Qi ZHANG

Development Manager

Development Lead Tablet PC Group, MS / Redmond

Patrick HALUPTZOK received a B.S. in Math from the Massachusetts Institute of Technology in 1990 and completed a M.S. degree in Computer Science at the University of Washington in 2005. He started at Microsoft in 1990 as a software development engineer. Patrick now works as a development manager in the TabletPC team, delivering the parsing engines and the SDK platform components for TabletPC. Patrick has a long history of R&D work in handwriting recognition for East Asian and Latin languages.

Dr. Qi ZHANG received his B.S. degree from Peking University in 1997, Ph.D. degree in Polymer and Nanomaterial from Washington University in 2001, and M.S. degree in Computer Science from Washington University in 2002. He joined Microsoft in 2002 as a software design engineer. Dr. ZHANG is now a development lead in the Tablet PC group, in charge of the R&D of handwriting recognition for East Asian languages. Dr. ZHANG has rich R&D experience in machine learning, pattern recognition, and handwriting / image recognition, with many publications and pending patents.

Abstract
Tablet PC: Innovation, Opportunity, and Challenge

Tablet PC is the evolution of notebook computers. 
      It is designed to be mobile, powerful, and versatile to meet the demanding 
      needs of today's mobile computing users. Tablet PC combines traditional 
      notebook computer features with additional pen, ink and speech technologies 
      to let you take your PC to many more places and use it in many new ways. 
      

      

      In this presentation, we will share with you the hardware and software innovations 
      that made Tablet PC a reality, the opportunities that Tablet PC and its 
      platform bring to both industry and academia, and more importantly, the 
      challenges that we need to address to make Tablet PC the ideal mobile machine 
      everyone has to have.

      

      We will start with a quick demo of Tablet PC hardware and key software features, 
      sharing with you our product vision and roadmap. We will then show you how 
      Tablet PC and related applications have been used in Education, Healthcare, 
      Industry, and Sports to facilitate daily communication, increase productivity, 
      reduce cost, and pave the way for the most versatile computing experience 
      ever for various professionals. Finally, the majority of the talk will focus 
      on the problems we are facing today that we hope you, the local research 
      and academia community, can help us address and further Tablet PC innovation. 
      There are three areas we would like to discuss with you: (1) Research on 
      key technologies for Tablet PC; (2) Tablet PC platform as part of the class 
      curriculum; and (3) Applications for Tablet PC to innovate education. 

John NORDLINGER

Program Manager, External Research & Programs of Microsoft Research

Mr. John NORDLINGER works in Microsoft Research, External Research & Programs. He has a background in the overlapping areas of Philosophy and Computer Science. In the 80's that meant Logic. Today it seems more about ethics. His role at MSR is to reinvigorate Computer Science.

Computer Science in the United States is seeing a huge drop in enrollment for both men and women. In a hope to reverse that trend and keep computer science exciting, Microsoft is looking at how computer gaming can make the curriculum more compelling while still teaching necessary and fundamental computer science skill like data structures, compiler design, graphics, performance and, now more than ever, communication. The RFP he managed has seen amazing interest world wide and we are now moving forward with funding of some of the great programs.

Mr. NORDLINGER also promotes the rising trend in Serious Games, whether for health (Your Fitness, DDR) or language training (efforts like Northwestern University recent adoption of EQ2 in their foreign language department and USC's Tactical Iraqi.)

Abstract I
Trends of Gaming in CS and Industry

Mr. NORDLINGER would talk about the rising computer game industry, opportunities in CS, and the relevance of one to the other. The value to attendees would be to hear where Computer Games and Computer Science are going, where they could be going and, perhaps, where they should be going. The conversation may drift to other areas where Computer Science might be invigorated - whether with robotics or social computing or some unforeseen venue.

Abstract II
Ethics of Computer Game Design

This talk will give an update of evolution of the gaming market. Based on the discussion of the social consequence of the game playing, the talk will analyze on how to design good games. 

John Chi-Shing LUI

Professor and Chairman
Department of Computer Science and Engineering
The Chinese University of Hong Kong, Hong Kong

Dr. John Chi-Shing LUI was born in Hong Kong and is currently the chairman of the Department of Computer Science & Engineering in the Chinese University of Hong Kong. He received his Ph.D. in Computer Science from UCLA. When he was a Ph.D. student at UCLA, he spent a summer working in the IBM T. J. Watson Research Laboratory. After his graduation, he joined the IBM Almaden Research Laboratory / San Jose Laboratory and participated in various research and development projects on file systems and parallel I / O architectures. He later joined the Department of Computer Science and Engineering at the Chinese University of Hong Kong. Currently, he is leading a group of research students in the Advanced Networking & System Research Group in doing some interesting and exciting networking research. His research interests span both in system and in theory / mathematics. His current research interests are in theoretic / applied topics in data networks, distributed multimedia systems, network security, OS design issues and mathematical optimization and performance evaluation theory.

Abstract
On the Security Issues of Network Coding

For the past few years, there has been an increasing interest on the application of network coding, which is a technique to achieve efficient and near optimal file distribution. Researchers in Microsoft Laboratory are also working on the application of network coding, i.e. The "Avalanche" project wherein desktop PCs can add in the file distribution process, relieving congested servers and network links from most of the traffic. One major application of network coding is on massive distribution of new OS updates and software patches. This has a significant implication since there are millions of PCs around the world and potentially, this can efficiently and quickly update important software so as to avoid security problems. We are interested in the "security" aspect of network coding. Note that the current Internet does not implement any network access control, leaving the network vulnerable to packet injection attacks. Due to this reason, it may impede the progress and reduce the efficiency of the file distribution. The aim of our research project is two-fold: consider the applicability of network coding on file distribution and multimedia stream; and provide a secured, trustworthy, and efficient coding block distribution protocol so as to overcome the security problem.

Xiangqun CHEN

Professor and Vice Chair
Computer Science and Technology Department
Peking University, China

Xiangqun CHEN, Professor of School of Electronics Engineering and Computer Science, Peking University. She has been teaching operating system course and other system software courses for sixteen years. Her research is focused on operating systems, embedded system software and software engineering fields. She currently is responsible for two China National research projects in operating system field. She authored, organized, translated and published more than ten Chinese textbooks in operating system, embedded system and other software fields. Some of these books and course-ware are supported by Microsoft Asia Research, including "Principle of Windows Operating System', 'WindowsCE.NET System Analysis and Experiment Courses' and 'Windows Kernel Experiment Courses'. At present, she also works on some other projects in cooperation with Microsoft Asia Research.

Abstract
Constructing Operating System Curriculum with Microsoft Windows

In this talk, Professor CHEN will mention the cardinal effect of computer operating system course and describe the current situations in some OS courses and the weakness of students after they graduate. We should notice that Windows OS maintains the majority of desktop OS market, but many students do not know how to solve the problems on Windows environment and write code with Windows system programming. So it is necessary to have a series of textbooks to combine OS principles with Windows OS. Under the support of Microsoft, a new OS textbook was published in August 2001, and the second version published in November 2004. Other two textbooks for Windows kernel and CE.NET experiment also were published. The conclusions are to satisfy the demands of talents for IT industry and other industries, and to teach students understanding OS and the internals of Windows, an OS Curriculum with Windows OS is essential. And a close relationship between academic community and IT industry is beneficial too.

Ross BROWN and Penny DRENNAN

Queensland University of Technology (QUT), Australia

Ross BROWN works as a Lecturer within the Faculty of Information Technology at Queensland University of Technology, Brisbane, Australia. He is also the head of the Visual and Media Computing research group at QUT.

Ross BROWN's present work has involved research into visualization techniques for fuzzy and uncertain data applications. This research included analysis of appropriate visualization techniques and the creation of a generalized agent-based approach to the visualization of uncertain data. This games project will involve similar analysis and development of appropriate visualization approaches, and so previous research experience is readily applicable to visualization of MMORPG game play data. As an extension to this work, he is supervising a Ph.D. student who is investigating visualization techniques for imprecise data, including business process models. One journal paper and five international conference papers have been published from this work. One of the recent conference papers has been invited to a special edition of Journal on Semantics of Data, a Springer publication.

Ross has also undertaken and published research in the areas of real-time rendering techniques, in particular, geometry management using models of human visual perception and genetic programming techniques for game geometry optimization. Future work will investigate the application of workflow automation to the control and development of computer games. Ross coordinates an advanced games programming subject at QUT, and has had a leading hand in the development of the new Games Development courses at QUT. He has extensive experience in teaching games development techniques at undergraduate and postgraduate levels.

Penny DRENNAN is an associate lecturer within the Faculty of Information Technology at QUT. She is engaged in the development of Games Design units for the new computer games course at the Queensland University of Technology. Penny is an avid computer games player. Her research is in the area of Non-Player Characters (NPCs) in computer games. NPCs fill a wide range of roles in computer games, from shopkeepers and soldiers through to team-mates and opponents, which all contribute to creating realistic and well-rounded fantasy worlds for game players. However, most NPCs do not add to the engagement of game players, as the behavior of the NPCs is predictable and their dialogue is completely scripted.

Abstract
Visualization Techniques and Tools for Game Usability Analysis

The quality assurance process in games production is an important stage often involving the surveillance of beta-testers while playing pre-release versions of the game. While game play visualization techniques have been developed to aid this process, they have been limited to first person shooter scenarios, and to player-centric game understanding tasks. In this project, we will analyze, from the perspective of a games designer and the tasks performed in games quality assurance processes for online role playing games. We will derive a suite of tools and technique designs for visualizing game play data in order to aid games designers in their assessment tasks. This is expected to complement the traditional beta-testing process, and will enable games companies to spot games problems more effectively, thus introducing savings to their games productions life cycle. Furthermore, it will form a component of a larger open source project involving visualization in games usability testing.

Seung-Moon CHOI

Assistant Professor
Computer Science and Engineering
POSTECH, Korea

Dr. Seung-Moon CHOI is an assistant professor in the Department of Computer Science and Engineering at POSTECH in Korea. He received the B.S. and M.S. degrees in the Department of Control and Instrumentation Engineering at Seoul National University, Korea, in 1995 and 1997, respectively. He earned the Ph. D. degree in the School of Electrical and Computer Engineering at Purdue University, USA, in 2003, majoring in haptics. After that, he had worked as a post-doctoral research associate in the Haptic Interface Research Laboratory and the Envision Center for Data Perceptualization, both at Purdue University, until he joined the POSTECH in 2005.

The research efforts of Prof. CHOI focus on the general field of haptics, its associated fields including applied perception and virtual reality, and robotics. He has served as a program committee member for Eurohaptics 2004 and 2006, and as a reviewer for many prestigious international journals and conferences.

Abstract
Exploiting Vibration Feedback in Mobile Gaming

The personal mobile device and associated 
      mobile gaming technology has advanced quite rapidly and significantly in 
      the past decade. However, the current mobile gaming devices still lack the 
      capability of providing rich sensory experiences, as is available in the 
      desktop environment. The restriction is mostly due to its small size and 
      light weight required for portability, along with its limited battery life. 
      

      

      Given the circumstances, integrating haptic sensation (the sense of touch) 
      into mobile gaming is a promising alternative in order to enrich its sensory 
      experiences. At present, the vibration motor is widely used in the personal 
      mobile device for this purpose. Although the vibration motor is small, inexpensive, 
      and capable of producing large vibrations, it has two critical drawbacks 
      to be applicable to mobile gaming. One is its relatively high power consumption 
      for the personal mobile device. The other is related to the fact the vibration 
      motor allows only one control variable due to its structure, which precluding 
      the motor from generating a tactile waveform.

      

      This talk will introduce ideas and lay out a research plan towards a guideline 
      regarding how to determine operating conditions of a vibration motor in 
      a mobile device, so that the motor uses less power yet preserves or increases 
      the perceived intensity of resulting vibrations. The two requirements of 
      lower power consumption and high perceived intensity, seemingly contradictory, 
      are of fundamental significance in mobile gaming. The ideas based on the 
      operating principles of the vibration motor and the mechanisms of human 
      vibrotactile perception will be presented, along with example data acquired 
      in the laboratory of the speaker. A research plan will be followed for developing 
      the optimal driving conditions of a vibration motor applicable to a more 
      general case (e.g., a PDA with MS Pocket PC). 

Zen-Chung SHIH

Professor
Department of Computer Science
National Chiao Tung University, Taiwan

Professor SHIH received his Ph.D. from National Tsing-Hua University, Taiwan. He is currently a professor of Department of Computer Science, National Chiao Tung University, Taiwan, and Director of the Computer Graphics Laboratory. Professor SHIH's research interests include: computer graphics, virtual reality, and scientific visualization.

Abstract
The Level-of-Detail Computation Model and Data Representation for Pre-computed Radiance Transfer

Recently, the pre-computed radiance transfer 
      (PRT) algorithm has attracted a great deal of attention. However, previous 
      PRT methods either only handle low frequency lighting environments or suffer 
      from the unwieldy size of the all-frequency PRT data sets even after some 
      compression techniques are applied. With the rising demand for increasing 
      photorealistic computer-generated imagery, the memory space for storing 
      the PRT data expands accordingly. Processing the PRT data often becomes 
      a major bottleneck for the GPU. 

      

      To solve the problem, we focus on the data representation, level of detail 
      (LOD), and compression techniques for PRT. A new representation of all-frequency 
      PRT methods will be investigated. We also expect to present a method that 
      overcomes the weakness of the existing methods while maintaining their strengths. 
    

Hongyang CHAO

Professor and Deputy Dean
School of Software
Sun Yat-Sen University, Chin

Professor CHAO received her B.S., M.S. and Ph.D. in 1982, 1985, and 1988 respectively all from Sun Yat-Sen University, China. Before joining the faculty, she worked ten years in US-based companies. She was the Senior / Chief Scientist at, Vianet / Infinop / CIS Inc. designing Lightning Strike products including Lightning Strike Image Compressor (LSIC), Lightning Strike Medical Image Compression (LSMIC), Power Zoom technology, and Lightning Strike Video Compression (LSVX).

Professor CHAO joined Sun Yat-Sen University seven years ago and is now a Professor and Deputy Dean of School of Software. Her research interests include Digital image / video processing, Image / video compression, Motion estimation / compensations; Image analysis; Image filtering; Wavelet technology (including wavelet constructions and applications); compression standards especially on JPEG, MPEGx and H26x.

Abstract
Optimized 3D Particles Modeling

Mobile devices, such as mobile phones and PDA have gained popularity in our lives. However the games on those devices have different playing models and different properties. In this project, we will design an optimized 3D particles modeling and its associated 3D Graphics processing functions, such as vertex processing, lighting, rendering models, raster processing, texture mapping for natural phenomenon simulation for games on WinCE mobile platform. Natural phenomena sub-modules as UI editing tools for 3D particles simulation will be added into this mobile game engine especially into the scene management module to provide the program and simulation interface for game developers. We are also going to consider using some image technology to generate some nature scenes such as cloud, etc. for mobile gaming.

Ian PARBERRY

Professor
Department of Computer Science and Engineering
University of North Texas, US

Ian PARBERRY is a Professor in the department of Computer Science and Engineering at the University of North Texas. With over 20 years experience in research and education, he is a pioneer of game programming in academia. He is the author of six books, three of them on game programming, and more than 60 articles on a wide range of computing subjects including algorithms, complexity theory, parallel computing, neural networks, and entertainment computing.

Abstract
SAGE: A Simple Academic Game Engine

SAGE is a simple academic game engine for use in a game programming class in the undergraduate Computer Science curriculum, designed specifically as a core onto which students can add their own game engine features. SAGE consists of a sequence of demos written in C++ using Microsoft DirectX, each extending its predecessor in a process called incremental development. Incremental development is a proven pedagogical technique used for the education of game programmers at the University of North Texas since 1997.

Jiawan ZHANG

Associate Professor
Computer Science and Technology School
Tianjin University, China

Professor ZHANG received B.S., M.S., and Ph.D. from Tianjin University in 1997, 2001, and 2004 respectively. He joined Faculty of Department of Computer Science, Electronic and Information Engineering School, Tianjin University, between 2003 to early 2006, and he is now Associate Professor and the Steering Committee Chair of Computer Graphics and Image Processing Institute, Tianjin University. His research interests include Volume Visualization and Information Visualization, Photorealistic Graphics Rendering, Computer Vision and Image Processing, and Parallel / Distributed Computing.

Abstract
Emerging Technologies for Mobile Games

Li SUN

Associate Professor
Fine Arts Department
Beijing Film Academic School

Li graduated from Beijing Film Academic School fine arts department in 1998, after graduation, keeps in school as teachers until now. Now is the Director of CG group of Animation school. Her main artistic creation experience includes:
1： << Public service advertisement - How to protect tree>> obtain third session Chun-Lan Public service advertizing big game third prize

2：<< Public service advertisement - Prevention AID (By famous star Cun Xi Pu)>> obtain the Fourth session Chun-Lan Public service advertizing big game first prize

3：Act as animation director in the film <>, This firm broadcast the first showing in the movie channel in 2004/10/2 and offered as a gift to the public holiday.

4：Central Committee Television <>column's Overall packing manufacture, This column packing manufactures composed completely by the 3D animation, including six animation short films, totally ten minutes.

5：Act as animation director in the large-scale historical documentary film<>. The film will recover nearly 60 humanity moves scene from primitive man time to about 2000 BC using animation technology. The final animation manufacture time will amount to 70 minutes.

Rei SAFAVI-NAINI

Professor and Director
Telecommunication and Information Technology Research Institute and Centre for Information Security
University of Wollongong, Australia

Rei SAFAVI-NAINI has a Ph.D. in Electrical and Computer Engineering from University of Waterloo, Canada. She has over 25 years experience in research, teaching and design and development of information security systems. She has over 200 publications and a number of patents in this area. Currently, she is the Director of Telecommunication and Information Technology Research Institute, and the Director of Centre for Information Security, both at the University of Wollongong, Australia.

Abstract
Design and Evaluation of Identity-Based Authentication for Online Services

Online services are what businesses provide 
      for their customers over the Internet. Accessing online services requires 
      user authentication, which verifies user identity, and authorization that 
      verifies if the user has the requested right. Communication with online 
      services presents malicious attackers with opportunities to compromise the 
      confidentiality and integrity of the system. Secure mutual authentication 
      mechanisms are particularly important, as from the service provider view 
      point these mechanisms ensure protected entry to the system, and from the 
      user view point guarantee that she is interacting with correct software. 
      Traditional mutual authentication protocols require a secure way of certificate 
      key exchange before the start of the protocol.

      

      In this project, we use the emerging technology of identity-based (ID-based) 
      cryptography to design and develop a provable secure authentication method 
      between an end-user and an online service. The project will examine and 
      evaluate existing ID-based system for providing mutual authentication in 
      the scenario above at two levels, (i) cryptographic security, and (ii) implementation 
      security.

      

      Future extensions of this work will include provision of single sign-on 
      where the user identification information can be securely passed to different 
      participating services, hence providing a single-sign-on mechanism. 

Xiaohong LI

Associate Professor
Department of Computer Science
Tianjin University, China

Dr. Xiaohong LI received master of engineering degree from Tianjin University, China in 1999, and she received her Ph.D. in engineering, major of Computer Science and Applications, from the Department of Computer Science, Tianjin University in Aug, 2005. Since Feb, 2001, she has been working as teacher and researcher in the Department of Computer Science, Tianjin University. Dr. LI is specialized in Agent-oriented Software Engineering, Repaid development base on multi-agent system, Agent architecture research, Agent security, Ambient Intelligence. She has given "Data structure" and "Software Engineering" courses to the undergraduate students. And she has 7 graduate students of herself. Recent years, Dr. LI is the author of about 10 high-quality research papers including 5 EI indexed papers and 5 core magazine. She presided and participated in 5 research projects, including 2 projects sustained by the bureau of science and technology of Tianjin. Others have been sustained by corporation, and had obtained second grade award by Science and Technology of Tianjin.

Abstract
Secure Software Engineering Base on Microsoft Architecture

Nowadays, security problems involving computers 
      and software are frequent, widespread, and serious. The number and variety 
      of attacks by persons and malicious software from outside organizations, 
      particularly via the Internet, are increasing rapidly, and the amount and 
      consequences of insider attacks remains serious. Over 90% of security incidents 
      reported to the CERT Coordination Center result from defects in software 
      requirements, designs or codes. Successful software security, however, is 
      fundamentally a software engineering problem - encompass producing and evaluating 
      secure software.

      

      This project is designed for secure software engineering course. The topics 
      of this course will mainly cover on the discussion of secure lifecycle of 
      software engineering and emphasis on secure code, threat modeling and related 
      security techniques base on .NET Security. And the project is the full integration 
      of theory principles and practice experiments. 

Yu MURATA

Master Student
Department of Computer Science
Waseda University, Japan

Yu MURATA (Speaker) is a master course student of Department of Computer Science in Waseda University. He studied an operating system through porting a small operating system and improving its performance in his Bachelor's research. His current interest includes developing memory management mechanism for reliable operating systems. Hiroo ISHIKAWA (PI) is a research associate of Department of Computer Science, Waseda University. His research focuses on software infrastructure. He worked on a component-based Java virtual machine in his Master's study. Current his research interest includes operating system architectures and kernel abstractions. Tatsuo NAKAJIMA (PI) is a professor of Department of Computer Science, Waseda University. His research interests include ubiquitous computing, interaction design and operating systems. He is also interested to teach game technologies to undergraduate students.

Abstract
Reliable Operating System

We propose a reliable operating system for smart appliances, called ArcOS. If the number of unreleased resources increases due to Heisenbugs, a system may become unstable and finally fails. Recently, smart appliance including mobile phones and personal computers are used continuously without rebooting or shutdown. Therefore reliable systems are necessary not only for server use but also consumer use. ArcOS can solve these problems by recovering itself in advance. The proactive recovery method reboots ArcOS components before it may raise a failure. It is possible for any components of ArcOS to reboot without stopping entire OS services, because ArcOS consists of fine-grained rebootable components.

Xing LI

Professor
Department of Electrical Engineering
Tsinghua University, China

Xing LI is a professor of the Department of Electronics Engineering, Tsinghua University, China. His research activities and interests include statistical signal processing, multimedia communication and compute networks. He published one book and more than 160 papers in his research areas. He is the deputy director of China Education and Research Network (CERNET) Center and a member of Technical Board of the China Education and Research Network Project. He is the fellow of China Communication Institute, a senior member of China Electronic Institute. He is the member of Sigma Xi. He is also the Chairman of Asia Pacific Networking Group (APNG) and a member of executive council of Asia Pacific Network Information Center (APNIC).

Abstract
P2P SIP & It's node Trustworthy Authentication

P2P SIP is a totally new conception, being 
      proposed just in the last year, which aims to take full advantage of the 
      decentralization characteristic of P2P and simplicity / scalability of SIP 
      to provide a global communication / sharing platform. In initial stage, 
      we base our research mainly on the specific project - P2P SIP streaming 
      broadcast system. Different from the two familiar P2P SIP structure proposed 
      as IETF draft, we place the dedicated server named EMS which is used to 
      calculate the best peers for every peer in one or more domains in order 
      to facilitate the management of the whole system. Although through EMS we 
      avoid the complex computing in general DHT locating process in one domain, 
      when we want to locate the peers whose resource record is beyond the local 
      domain, we still have to take use of the DHT in locating procedure. As a 
      result, we still have to face the severe challenge correlative with security 
      like before in pure DHT P2P SIP or quasi- DHT P2P SIP system, while to some 
      extent EMS relieve the threats from illegal peers or users.

      

      Because of the essential difference between P2P computing model and traditional 
      C / S computing model, we cannot make use of ready-made technology to solve 
      node authentication in P2P network. Only through exploring the essential 
      of node authentication and combining existing mechanism of distributed computing, 
      we can find the proper node authentication method which is adaptive to P2P 
      SIP network to solve the security problem in SIP application. Due to this, 
      we suggest that one-way accumulation function is the best choice to cope 
      with the corresponding problem and it is the emphasis of our research. 

Wen-Guey TZENG

Professor
Department of Computer Science
National Chiao Tung University, Taiwan

Dr. TZENG received his BS degree in Computer Science and Information Engineering from National Taiwan University, Taiwan, 1985, and MS Ph.D. in Computer Science from the State University of New York at Stony Brook, USA, in 1987 and 1991, respectively. He joined the Department of Computer and Information Science, National Chiao Tung University, Taiwan, in 1991 and is now the director of Institute of Computer Science and Engineering. Dr. TZNEG has been doing research on information security for over 10 years focusing on cryptology and its applications on security systems. He has published over 50 international journal and conference papers and executed over 25 academic and industrial projects, mostly on information security. In one of these projects, he developed "a highly reliable proactive certificate authority system", in which the secret key of a CA is distributed among a set of key servers. The key servers update their key shares periodically such that it is highly reliable and secure against a mobile malicious adversary. Dr. TZENG has taught courses on information security constantly, such as information security, network security, cryptology, etc.

Abstract
A Trustworthy Login System with Portable Secure Devices

In the era of Internet, a user need login 
      to many websites by identity names and passwords often. There are many ways 
      that the identity names and passwords of a user may leak to hostile adversaries. 
      In particular, a user tends to use the same (or just a few) identity name 
      and password for all websites. The identity name and password stored in 
      one website may be used to log into another website. We are concerned with 
      the security and privacy issues of login systems. 

      

      In this talk we describe a project of designing and implementing a trustworthy 
      login system. We put emphasis on considering human behavior of using identity 
      names, passwords and usage convenience of the system. As people carry some 
      portable devices (such as USB flash drives, smart phones, PDAs, etc) with 
      security capability, we use them as devices for generating, storing and 
      managing the identity names and passwords of a user. The core of our system 
      is a three-party password-based authentication and key exchange cryptographic 
      protocol against all potential adversaries. For usage convenience and reliability, 
      we shall allow a user to login to a website as usual by typing his identity 
      name and password directly. Nevertheless, our system still guarantees some 
      level of security.

Kwang-Keun YI

Professor
Seoul National University, Korea

Dr. Kwangkeun YI received Ph.D. (1993) in computer science from UIUC, and B.S. (1987) in computer science and statistics from Seoul National University. After his Ph.D. he joined as a Member of Technical Staff the Software Principles Research Department at Bell Laboratories, where he worked on various static analysis techniques for higher-order and typed programming languages. From 1995 - 2003 he was a faculty member in Korea Advanced Institute of Science and Technology. Since Fall 2003 he has been affiliated in Seoul National University. For 1998-2003 he directed a National Creative Research Initiative Center for Research on Program Analysis System. He has served as the program chair for the International Static Analysis Symposium (SAS) 2006 and Asian Symposium on Programming Languages and Systems (APLAS) 2005, and served a program committee member for various international conferences including SAS, ESOP, ICFP, CC, and APLAS. He is a member of ACM.

Abstract
Static Analysis Technology for Automatic Detection of Bugs in C Sources: Our Airac Experience

We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false alarms from a domain-unaware static analyzer. Our analyzer named Airac5 collects all the true buffer-overrun points in ANSI C programs. The soundness is maintained, and the analysis' cost-accuracy improvement is achieved by techniques that static analysis community has long accumulated. For those still inevitable false alarms which are always apt for particular C programs, we use a statistical post analysis. The statistical classification methods will give the analysis results (alarms), rank alarms, so that the user can check the highly probable errors first. We show experiment numbers that show the effectiveness of this combination. 

Arkady RETIK

Windows Academic Program Manager
Source Assets Management, Microsoft / Redmond

Arkady RETIK is a Senior Program Manager in the Source Asset Management (SAM) team of the Platforms group. Before SAM, he worked on several development projects in the Windows Management Infrastructure group. Prior to joining Microsoft in 2000, Arkady served for a decade as a researcher, faculty member and Professor in several universities, mostly in the UK. He taught and researched a variety of subjects in Computing and Engineering. Arkady established and directed the Virtual Construction Simulation Research Group at the University of Strathclyde, pioneering research in advanced visualization and VR. He holds a DSc in Computer Aided Design and Planning from the Technion Institute of Technology. He was recently made a Visiting Honorary Professor at Glasgow Caledonian University.

Abstract
Shared Source Initiative and Windows Academic Program

Through Shared Source, Microsoft is sharing source code with customers, partners, developers, academics, and governments worldwide. In this presentation, Arkady will briefly overview the shared source initiative and available academic programs. Subsequently, he will review the new Windows Academic Program. This program includes Windows Curriculum Resource Kit, Project OZ, and Windows Research Kernel providing instructional materials and resources to support teaching operating system concepts using Microsoft Windows XP. Arkady will explain what is available now and what is coming next.

Dave PROBERT

Architect
Windows Core Kernel & Architecture team, Microsoft / Redmond

Dave PROBERT, Architect in the Windows Core Kernel & Architecture team at Microsoft. Until recently Dave managed kernel development for Windows 2000, XP, Server 2003, and early phases of XP SP2 and Vista. Currently Dave is working on releasing kernel sources to universities and developing Project OZ, an experimental environment based on the SPACE project at UC Santa Barbara, where Dave earned his Ph.D. in Electrical & Computer Engineering. For the last several years Dave has taught a short course with Prof. Kei HIRAKI at University of Tokyo on Windows Internals. Prior to Microsoft, Dave's experience was primarily focused on UNIX kernels, including several years as Vice President of Software Engineering at Culler Scientific Systems. Dave's career began in the late 1970s at Burroughs, where he was a computer architect designing hardware and writing microcode for the B1900.

Abstract I
Using the Windows Kernel Sources in OS Classes

Microsoft is making the core sources for 
      the Windows kernel (the Windows Research Kernel, WRK) available to faculty 
      at universities worldwide to use in teaching and research. In conjunction 
      with the kernel source code, there is also an available collection of curriculum 
      materials (the Curriculum Resource Kit, CRK) which includes a lot of PowerPoint 
      descriptions of the Windows kernel. 

      

      In this talk Dave PROBERT, an architect in the Windows kernel group, will 
      discuss some of the features that make Windows particular interesting for 
      study, and present some suggestions on how to incorporate the WRK and CRK 
      into OS courses. Some ideas for projects based on the WRK will also be presented. 
    

Abstract II
The Project OZ Experimental OS Environment

Giving students projects that emphasize the OS principles they are learning in OS courses is often difficult because of the amount of tedious work that students have to do to address the details of the processors (real or simulated). Project OZ adapts the ideas from the SPACE project at UC Santa Barbara to provide simple abstractions of a CPU, MMU, trap vector, IO, and physical memory that can be used to build OS projects. The SPACE abstractions are implemented on top of the native NT APIs, which allows NT to take care of most of the low-level details so students can focus on higher-level design and algorithms. Projects are built by modifying a trivial OS (BasicOZ) built on top of SPACE. This talk will present the SPACE primitives and explain how they are implemented using NT, and explain the philosophy, functions, and implementation of BasicOZ. Several projects that students can build are presented, and the more general use of SPACE for experiments involving multiprocessors and multicomputers are described.

Eric CHANG

Assistant Managing Director
Microsoft Research Asia Advance Technology Center

Eric CHANG joined Microsoft Research Asia (MSRA) in July, 1999. Eric is the Assistant Managing Director of MSRA Advanced Technology Center, where his responsibilities include program management and projects that are centered on mobility. Prior to his new responsibilities at ATC, Eric was the research manager of the speech group at MSRA.

Eric graduated from M.I.T. with Ph.D., Master and Bachelor degrees, all in the field of electrical engineering and computer science. While at M.I.T., he was inducted into the honorary societies Tau Beta Pi and Sigma Xi. Eric is also a Senior Member of IEEE. Eric has published papers in the fields of speech recognition, neural networks, and genetic algorithms in various journals and conferences. He is the author of several granted and pending patents. His research interests are spoken language understanding, machine learning, and signal processing.

Abstract
Using Mobile Devices to Communicate, Control, and Compute in the Ubiquitous Computing Society

Mobile devices are becoming a key part of everyday life for hundreds of millions of people in the world. As computing devices become more powerful and network bandwidth becomes more available, mobile devices will be used not just for communication, but for controlling the environment around us and providing assistance in our daily lives. In this talk, I will present several concepts that are being worked within Microsoft Research and discuss their implications for ubiquitous computing.

Jogesh MUPPALA

Associate Professor
Department of Computer Science
The Hong Kong University of Science and Technology, Hong Kong

Dr. MUPPALA received the Ph. D. in Electrical Engineering from Duke University, Durham, NC in 1991. He is currently an associate professor in the Department of Computer Science, The Hong Kong University of Science and Technology. He was previously a Member of the Technical Staff at Software Productivity Consortium (Herndon, Virginia, USA) from 1991 to 1992, where he was involved in the development of modeling techniques for systems and software. He was the program co-chair for the 1999 Pacific Rim International Symposium on Dependable Computing held in Hong Kong in December 1999. He also serves on program committees of several international conferences. He was awarded the Teaching Excellence Appreciation Award by the Dean of Engineering, HKUST. He is a senior member of IEEE, IEEE Computer Society and IEEE Communications Society. His research interests include embedded systems, high-speed networking, distributed systems and technology in education.

Abstract
Teaching an Embedded Systems Software Course using Windows CE