http://www.shiyao.net

 

Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs.
Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen and Weimin Zheng.
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages & Applications. (OOPSLA 2010)
A Practical and Complete Implementation of SSUPRE without Static Single Use Representation
Yao Shi, Tianwei Sheng, Hucheng Zhou, Dehao Chen, Shinming Liu,Wenguang Chen, Weimin Zheng,
Sixth Workshop on Explicitly Parallel Instruction Computing Architectures and Compiler Technology (EPIC-6), 2007.3.
Club Theory of The Grid
Yao Shi, Francis C.M. Lau, Savio S.H. Tse, Zhi-Hui Du, Rui-Chun Tang, San-Li Li
The Third International Workshop on Grid and Cooperative Computing (GCC 2004)
Language: English

Club Theory of The Grid
Yao Shi, Francis C.M. Lau, Zhi-Hui Du, Rui-Chun Tang, San-Li Li
Concurrency and Computation: Practice and Experience, special issue, 2005.
Language: English

THSORT: 单机并行排序算法
THSORT: A single-processor parallel sorting algorithm
Shi, Yao (Dept. of Comp. Sci. and Technol., Tsinghua Univ.); Zhang, Li; Liu, Peng
Source: 软件学报 /Journal of Software, v 14, n 2,  February, 2003, p 159-165 Language: Chinese
Language: Chinese

Computing Pool: a Simplified and Practical Computational Grid Model
Peng Liu, Yao Shi, San-li Li.
The Second International Workshop on Grid and Cooperative Computing (GCC 2003)
Language: English
RAID-M:高性能磁盘矩阵式海量存储器
RAID-M:a High Performance RAID Matrix Mass Storage

LIU Peng, LI Sanli, Francis C. M. Lau, SHI Yao, HUANG Feng
中国科学 Science in China (Series E), June 2005
Language: Chinese

RAID-M:a High Performance RAID Matrix Mass Storage
LIU Peng, LI Sanli, Francis C. M. Lau, SHI Yao, HUANG Feng
Science in China (Series F), August 2005
Language: English

Presentation: May Happen in Parallel Analysis
Gelato Shanghai Many-Core Workshop, March 2008
Adaptive Storage System of Largescale Video Service
National Natural Science Fondation of China, NO: 60403043
《面向大规模视频服务的自适应存储体系研究》主要成员,国家自然科学基金项目批准号:60403043
High Performance Network Attached Storage -- RAID-M
The top grade in the 8th National Challenge Cup
《高性能网络连接存贮器RAID-M》第八届“挑战杯”特等奖,清华大学第二十一届挑战杯一等奖

High Performance Video Cluster Server
The second prize in the 21st Challenge Cup of Tsinghua University
《宽带网高性能集群视频服务器》清华大学第二十一届挑战杯二等奖

EZ Grid
Cooperate with IBM China Development Center
《EZ GRID》IBM中国研究中心合作项目
AntiSpam Grid
Participate in 2003 IEEE International Conference on Cluster, Hong Kong
© http://www.shiyao.net, 2008 | design by Yao Shi