A Center for Sustainable Cloud Computing

Past Projects

Completed projects from EcoCloud.

Showcasing energy reductions in datacenters of up to 10x
Implicit Programming
A proposed software development paradigm that aims to address longstanding bottlenecks of software construction
Leon Verification
Leon is an automated system for verifying functional Scala programs
Phantm is a tool written in Scala that can be used to detect potential programming errors inside PHP applications