Software Systems
The Data, Agents, and Processes Lab (DAPLab) will present a slate of new research at the Symposium on Operating Systems Principles (SOSP 2025) workshops, spanning agentic infrastructure and self-tuning kernels.
The DAPLab shares highlights from its current research on improving the vibe coding process.
The paper "An Empirical Study of API Stability and Adoption in the Android Ecosystem", was recognized as the Most Impactful Paper from among the published papers at ICSME '13.
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.
Software Systems Laboratory
Programming Systems Laboratory
Languages and Compilers Group
Database Research Group