Yao Shi
Researcher; Conjoint Lecturer, UNSW
Research Interests
Yao is interested in operating system analysis, compiler optimizations, concurrent program analysis and software reliability. He was a developer of Open64 compiler and has rich experience on the internals of mainstream compilers. He now works at Nvidia.
Contact Details
| Phone: | +61 2 8306 0551 |
|---|---|
| Email: | yaoshi@trustworthy.systems |
More contact information is available at the Contact page.
Projects
Past |
Yao is working on Worst-Case Execution Time of seL4 microkernel.
Career Summary
Yao was a research scientist in Tsinghua University before joining NICTA.
Qualifications
Yao obtained B.Sc (2004) and Ph.D (2010) in computer science from Tsinghua University. His Ph.D thesis is automatic data-flow bug detection for both concurrency and sequential programs.
Publications
Best Papers
 
|
 |
Bernard Blackham, Yao Shi and Gernot Heiser Improving interrupt response time in a verifiable protected microkernel EuroSys Conference, pp. 323–336, Bern, Switzerland, April, 2012 |
Trustworthy Systems Group Papers
2013
|
|
|
Yao Shi, Bernard Blackham and Gernot Heiser Code optimizations using formally verified properties Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 427–442, Indianapolis, USA, October, 2013 |
2012
|
|
|
Bernard Blackham, Yao Shi and Gernot Heiser Improving interrupt response time in a verifiable protected microkernel EuroSys Conference, pp. 323–336, Bern, Switzerland, April, 2012 |
2011
|
|
|
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury and Gernot Heiser Timing analysis of a protected operating system kernel IEEE Real-Time Systems Symposium, pp. 339–348, Vienna, Austria, November, 2011 |
|
|
|
Bernard Blackham, Yao Shi and Gernot Heiser Protected hard real-time: The next frontier Asia-Pacific Workshop on Systems (APSys), pp. 5, Shanghai, China, July, 2011 |
Research Theses Supervised
2013
|
|
|
Bernard Blackham Towards verified microkernels for real-time mixed-criticality systems PhD Thesis, UNSW, Sydney, Australia, October, 2013 2013 ACM SIGBED Paul Caspi Memorial Dissertation Award and John Makepeace Bennett Award for Australasian Distinguished Doctoral Dissertation |