|
|
http://www.shiyao.net
| Publications |
Improving interrupt response time in a verifiable protected microkernel
Bernard Blackham, Yao Shi, Gernot Heiser
The 7th EuroSys Conference. (Eurosys'12) |
Timing analysis of a protected operating system kernel
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser
The 32nd IEEE Real-Time Systems Symposium. (RTSS'11) |
Protected hard real-time: The next frontier
Bernard Blackham, Yao Shi and Gernot Heiser
The 2nd Asia-Pacific Workshop on Systems. (APSys'11) |
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'10) |
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'04) |
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. |
|
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) |
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 |
| |
| Service |
| Shadow program committee member, Eurosys'12 |
| |
| Projects |
Worst-case Execution Time on seL4 micro-kernel
ERTOS, National ICT Australia |
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 |
AntiSpam Grid
Participate in 2003 IEEE International Conference on
Cluster, Hong Kong |
|
