Software Systems Laboratory

The Software Systems Laboratory (SSL) pursues basic research in all aspects of the design, implementation, evaluation, and verification of software systems. We conduct research with systems at all scales, from handheld devices to cloud computing data centers. We take an experimental systems approach in building real systems to investigate new research ideas. Particular areas of interest include cloud computing, distributed systems, formal methods, mobile computing, operating systems, privacy, security, and software engineering.