Yao Shi

Yao Shi

Intel Corporation - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4459116
-
person_outline Yao Shi's MOST POPULAR ARTICLES
1-) Do I use the wrong definition? DefUse: Definition-use invariants for detecting concurrency and sequential bugs Proceedings of the ACM international conference on Object oriented …, 2010
2-) Timing analysis of a protected operating system kernel 2011 IEEE 32nd real-time systems symposium, 339-348, 2011
3-) Web video topic discovery and tracking via bipartite graph reinforcement model Proceedings of the 17th international conference on World Wide Web, 1009-1018, 2008
4-) Improving interrupt response time in a verifiable protected microkernel Proceedings of the 7th ACM european conference on Computer Systems, 323-336, 2012
5-) Computing pool: A simplified and practical computational grid model International Conference on Grid and Cooperative Computing, 661-668, 2003