Trustworthy Systems

Verification-Enhanced Compiler Optimisation

Verification-Enhanced Compiler Optimisation is a research activity in the Trusted Components part of the Trustworthy Systems project.

Publications

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

People

Past