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, privacy,
security, and software engineering.