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.

ESD

Execution synthesis with no runtime overhead or program modifications

Portend

Automatically detects and classifies data races in concurrent programs

S2E

Analyzing the properties and behavior of large software systems

Sinergia

Trustworthy Cloud Storage — security, privacy and performance