Developing one-to-one, in-depth collaboration on a specific topic
Microsoft Research Asia faculty-specific projects bring together one of Microsoft Research Asia's researchers/managers with an academic researcher to work on a project of mutual interest that could have significant impact in the area of computer science and could benefit the research community.
These projects can be initiated by an individual academic in a university or a research group, and are facilitated by a University Relations manager. A Microsoft Research Asia researcher or manager must sponsor the project
On This Page
Highlighted Projects
Implemented jointly by Microsoft Research Asia and various academic institutes, the following projects demonstrate important technological breakthroughs and hold great promise to advance the state of the art in computer science research.
The Olympic Flame Lights the Web: Digital Olympic Museum
The cooperation between Microsoft Research Asia and the Virtual Reality lab of Beihang University aims to build a digital Olympic museum to give the worldwide audience a real feeling for the Olympic Games.
A Splendid Way to Gain Knowledge: E-Learning Grid Based on OGSI.net
This project aims to design and implement an advanced service-oriented software architecture based on the OGSI.net platform for a collaborative e-learning environment.
A Communication Bridge: Localizing Windows CE with Central Asian Languages
This project aims to build a communications bridge and related digital infrastructure for the underdeveloped areas of western China.
A Handy Way to Deal with Pictures: Easy Mesh Cutting
This project, led by Professor Liu Ligang from Zhejiang University, is an intuitive and easy-to-use mesh cutout tool. Users can cut meaningful components from meshes by simply drawing freehand sketches on the mesh.
Newly-Funded Projects
The following recent projects are receiving ongoing support.
Research on Content-Based Video Copy Detection
Hong Lu, Fudan University, China
Copy detection is important for copyright control, business intelligence, advertisement tracking, law enforcement investigations, and so forth. In the TRECVID conference, the video copy detection task has been established as an important research challenge. In the TRECVID 2008 copy detection task, a copy is a segment of video derived from another video, usually created by performing various transformations such as addition, deletion, modification (including modification of aspect, color, contrast, and encoding), and cam-cording. The selected transformations are difficult ones that often occur in real-life situations. In addition to those listed above, transformations also include picture-in-picture, insertion of patterns, strong re-encoding, and change of gamma. In this research, we will explore the effective features and methods for content-based video copy detection. Evaluations will utilize the TRECVIDE data to provide solid baseline performance figures.
Specialized Model Checking for Order-Related Concurrency Bugs
Zhengwei Qi, Shanghai Jiao Tong University, China
A significant number of non-deadlock concurrency bugs are order-related bugs, which are not addressed by previous bug detection work. In addition, a non-negligible number of concurrency bugs involve more than one variable. New bug detection techniques are needed to address these bugs. The current methods mainly focus on static or dynamic analysis. For example, Lockset and MUVI belong to static analysis, while Happen-before, iDNA, and AVIO are dynamic analysis methods. Atomicity violation methods can be either static or dynamic. The advantage of static analysis is more path coverage, while dynamic analysis may raise fewer false alarms or false positives. The main goal of our plan is to establish an optimal combination of the static and dynamic methods in model checking. We propose a specialized model-checking method based on Microsoft’s system-level model-checking tool, MODIST. Because multi-thread concurrency bugs are related to the order of accessing shared variables (atomicity violation, order bugs, multiple variable bugs, and so forth), in order to find order-related bugs, we only model-check the interleaving of shared variables.
Related Links
- Feature Stories
- Faculty Specific Projects
- News and Events
- University Relations Web Site in Chinese
- University Relations Team
- Regional Themes
Contact Us
University Relations
Microsoft Research Asia
5th Floor, Beijing Sigma Center
No.49 Zhichun Road, Haidian District
Beijing 100190, P. R. China
Send us an e-mail message
Tel: (86-10)5896-8888
Fax: (86-10)8809-7305
