Software Systems

Multi-mobile (M2) Computing System Makes Android and iOS Apps Sharable on Multiple Devices

Query logs put to new uses in data analysis: democratizing interfaces and tracking sources of errors

Two papers coauthored by Eugene Wu and presented at SIGMOD 2017 rely on an underutilized source of information--program and query logs—to both automatically customize interfaces and to perform data cleaning.

Building Certified Concurrent OS Kernels

About

The Software Systems group pursues fundamental research in all aspects of the design, implementation, analysis, verification, and evaluation of software systems.

The group conducts research with systems at all scales, from handheld devices to cloud computing data centers. They take an experimental systems approach in building real systems to investigate new research ideas, create tools to enable developers to quickly and correctly build complex systems, and teach students how to do it.