Trustworthy Systems

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.

Photo of Yao Shi

Publication List

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

Abstract
Slides
PDF 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

Abstract
Slides
PDF 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

Abstract
Slides
PDF 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

Abstract PDF 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
Abstract PDF 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

Abstract PDF 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