Trustworthy Cloud Systems

A key barrier to cloud adoption is system resilience with regards to functionality, performance and security. Users sign a contract that holds providers accountable to the negotiated and desired level of service. We are investigating technologies spanning from static analysis and verification to online software bug detection and removal in cloud systems to lower the barrier for cloud adoption.


Execution synthesis with no runtime overhead or program modifications


Automatically detects and classifies data races in concurrent programs


Analyzing the properties and behavior of large software systems


Trustworthy Cloud Storage — security, privacy and performance